Module `Global_module.Precision`

type 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.

val print : Stdlib.Format.formatter -> Global_module.Precision.t -> unit

val output : Stdlib.out_channel -> Global_module.Precision.t -> unit

Module Global_module.Precision

Module `Global_module.Precision`