Region_pp_intf.TYPE_CONV
type ty
val translate_imandra_type : Imandra_surface.Type.t -> ty
val mk_tuple : ty list -> ty
val mk_list : ty -> ty
val mk_func : ty list -> ty
val type_var : string -> ty
val mk_set : ty -> ty