Region_pp.String_conv
type ty = string
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