Module `Global_module.Precision`Source

Sourcetype t =

| Exact
(*
The base module takes exactly the arguments being passed.
*)
| Approximate
(*
The base module takes some subset of the arguments being passed (possibly all of them).
*)

Whether a global's elaborated form is known exactly. For example, given the elaborated form Foo{Bar; Baz}, if we never loaded foo.cmi then we don't actually know whether Foo takes Bar or Baz.

Sourceval print : Ocaml_utils.Format_doc.formatter -> t -> unit

Sourceval output : out_channel -> t -> unit

Module Global_module.PrecisionSource

Module `Global_module.Precision`Source