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