type 'a result = | Ok of 'a DocOckTypes.Unit.t| Not_an_interface| Wrong_version| Corrupted| Not_a_typedtree| Not_an_implementationval read_cmti : (string -> Stdlib.Digest.t -> 'a) -> string -> 'a resultval read_cmt : (string -> Stdlib.Digest.t -> 'a) -> string -> 'a resultval read_cmi : (string -> Stdlib.Digest.t -> 'a) -> string -> 'a resultThis is the part of DocOck handling the resolving of path and references.
val build_resolver :
?equal:('a -> 'a -> bool) ->
?hash:('a -> int) ->
(string -> 'a lookup_result) ->
('a -> 'a DocOckTypes.Unit.t) ->
(string -> 'a option) ->
('a -> 'a DocOckTypes.Page.t) ->
'a resolverBuild a resolver. Optionally provide equality and hash on 'a.
val resolve : 'a resolver -> 'a DocOckTypes.Unit.t -> 'a DocOckTypes.Unit.tval resolve_page :
'a resolver ->
'a DocOckTypes.Page.t ->
'a DocOckTypes.Page.tThis is the part of DocOck in charge of performing substitutions, inlining of includes, etc.
val build_expander :
?equal:('a -> 'a -> bool) ->
?hash:('a -> int) ->
(string -> 'a lookup_result) ->
(root:'a -> 'a -> 'a DocOckTypes.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 DocOckTypes.Unit.t -> 'a DocOckTypes.Unit.tOCaml's predefined types and exceptions.
val core_types : 'a DocOckTypes.TypeDecl.t listval core_exceptions : 'a DocOckTypes.Exception.t list