#
val is_pure : string -> bool
#
val exists : string -> bool
#
type kind = [
| `Pure
| `Mutable
| `Mutator
]
#
type kind_arg = [
| `Shallow_const
| `Const
| `Mutable
]
#
type t = [
| `Version
of Parse_info.
t option * ((int
-> int
-> bool) * string) list
]
#
val kind : string
-> kind
#
val kind_args : string
-> kind_arg list option
#
val register : string
-> kind -> kind_arg list option
-> int option
-> unit
#
val arity : string -> int
#
val alias : string -> string -> unit
#
val resolve : string -> string
#
val add_external : string -> unit
#
val is_external : string -> bool
#
val get_external : unit
-> Util.StringSet.t
#
val need_named_value : string -> bool
#
val register_named_value : string -> unit