module TyBuiltin: sig .. end
sig
end
val ty : Builtin.t -> TypeInference.type_ option
Builtin.t -> TypeInference.type_ option
val ty_exn : Builtin.t -> TypeInference.type_
Builtin.t -> TypeInference.type_