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