jon.recoil.org

Module Global_module.Precision

type t =
  1. | Exact
    (*

    The base module takes exactly the arguments being passed.

    *)
  2. | 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 : Format_doc.formatter -> t -> unit
val output : out_channel -> t -> unit