Translation (astral.Astral_internal.GlobalSID.Translation)

Parameters

module E : Translation_sig.ENCODING

Signature

val translate : 
  string ->
  E.Context.t ->
  (SL.Term.t list * MemoryModel.StructDef.t list) ->
  SMT.t ->
  SMT.t list ->
  SMT.t * SMT.t * SMT.t list