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