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 ->
  Ocaml_typing.Global_module.Precision.t ->
  unit

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

Module Global_module.Precision

Module `Global_module.Precision`