(* *)
(******************************************************************************)
-(** Functions that should be moved in another module **)
-exception IllFormedUri of string
-val string_of_cic_textual_parser_uri : CicTextualParser0.uri -> string
-val cic_textual_parser_uri_of_string : string -> CicTextualParser0.uri
-
-val wrong_xpointer_format_from_wrong_xpointer_format' : string -> string
-
(** This module provides a functor to disambiguate the input **)
(** given a set of user-interface call-backs **)
type domain_and_interpretation =
string list * (string -> CicTextualParser0.uri option)
-module Make :
- functor (C : Callbacks) ->
+module Make (C : Callbacks) :
sig
exception ThereDoesNotExistAnyWellTypedInterpretationOfTheInput
val disambiguate_input :