sig
type ctx
val create : unit -> FOTerm.Conv.ctx
val of_simple_term : FOTerm.Conv.ctx -> TypedSTerm.t -> FOTerm.t option
val of_simple_term_exn : FOTerm.Conv.ctx -> TypedSTerm.t -> FOTerm.t
val to_simple_term :
?env:TypedSTerm.t Var.t DBEnv.t -> FOTerm.t -> TypedSTerm.t
end