Module LLTerm.Conv

type ctx
val create : unit -> ctx
val of_term : ctx -> Logtk.TypedSTerm.t -> t