Module TypeInference.TyBuiltin

val ty : Builtin.t -> type_ option
val ty_exn : Builtin.t -> type_