module Attrs : sig ... endmodule Maps : sig ... endmodule Paths : sig ... endmodule Types : sig ... endType of documentation
val core_types : 'a Types.TypeDecl.t listval core_exceptions : 'a Types.Exception.t listtype 'a result = | Ok of 'a Types.Unit.t| Not_an_interface| Wrong_version| Corrupted| Not_a_typedtree| Not_an_implementationval read_cmti : (string -> Digest.t -> 'a) -> string -> 'a resultval read_cmt : (string -> Digest.t -> 'a) -> string -> 'a resultval read_cmi : (string -> Digest.t -> 'a) -> string -> 'a resultval build_resolver :
?equal:('a -> 'a -> bool) ->
?hash:('a -> int) ->
('a Types.Unit.t -> string -> 'a lookup_result) ->
('a -> 'a Types.Unit.t) ->
'a resolverBuild a resolver. Optionally provide equality and hash on 'a.
val resolve : 'a resolver -> 'a Types.Unit.t -> 'a Types.Unit.tval build_expander :
?equal:('a -> 'a -> bool) ->
?hash:('a -> int) ->
(string -> 'a lookup_result) ->
(root:'a -> 'a -> 'a Types.Unit.t) ->
'a expanderBuild an expander. Assumes that it is safe to use Hashtbl.hash and structural equality (=) on 'a.
val expand : 'a expander -> 'a Types.Unit.t -> 'a Types.Unit.t