Module Cduce_lib.Externals

type ext_info
val get : unit -> ext_info option
val register : (bool -> string -> Cduce_types.Types.Node.t list -> int * Cduce_types.Types.t) Stdlib.ref
val ext_info : (unit -> ext_info) Stdlib.ref
val resolve : string -> Cduce_types.Types.Node.t list -> int * Cduce_types.Types.t
val typ : string -> Cduce_types.Types.Node.t list -> Cduce_types.Types.t