Module `Logtk__Term.Conv`

type ctx = Logtk.Type.Conv.ctx

val create : unit -> ctx

val of_simple_term : ctx -> Logtk.TypedSTerm.t -> t option

val of_simple_term_exn : ctx -> Logtk.TypedSTerm.t -> t

raises Type.Conv.Error: on failure

val to_simple_term : ?⁠allow_free_db:bool -> ?⁠env:Logtk.TypedSTerm.t Logtk.Var.t Logtk.DBEnv.t -> ctx -> t -> Logtk.TypedSTerm.t
val var_to_simple_var : ?⁠prefix:string -> ctx -> var -> Logtk.TypedSTerm.t Logtk.Var.t