sig
  type ctx
  val create : unit -> Type.Conv.ctx
  val copy : Type.Conv.ctx -> Type.Conv.ctx
  val clear : Type.Conv.ctx -> unit
  val of_simple_term : Type.Conv.ctx -> TypedSTerm.t -> Type.t option
  val var_of_simple_term :
    Type.Conv.ctx -> TypedSTerm.t Var.t -> Type.t HVar.t
  val fresh_ty_var : Type.Conv.ctx -> Type.t HVar.t
  exception Error
  val of_simple_term_exn : Type.Conv.ctx -> TypedSTerm.t -> Type.t
  val to_simple_term :
    ?env:TypedSTerm.t Var.t DBEnv.t -> Type.t -> TypedSTerm.t
end