Translation (astral.Astral_internal.Freed.Translation)

Parameters

module E : Translation_sig.ENCODING

type translation := SMT.t * SMT.t * SMT.t list

val translate : 
  E.Context.t ->
  ID_sig.instance ->
  SMT.t ->
  SMT.t list ->
  Bound.t ->
  translation