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