viewcvs.cgi/types/atoms.mli

open Encodings

module V : sig
  include Custom.T
  val value: t -> Ns.qname  (* Get rid of that ... *)
  val mk: Ns.t -> Utf8.t -> t
  val mk_ascii: string -> t
  val print: Format.formatter -> t -> unit
  val print_quote: Format.formatter -> t -> unit
end


include Custom.T
val print : t -> (Format.formatter -> unit) list

val empty : t
val any   : t

val cup : t -> t -> t
val cap : t -> t -> t
val diff : t -> t -> t
val atom : V.t -> t
val any_in_ns : Ns.t -> t

val contains : V.t -> t -> bool
val disjoint : t -> t -> bool
val is_empty : t -> bool
val print_tag : t -> (Format.formatter -> unit) option


type 'a map
val mk_map: (t * 'a) list -> 'a map
val get_map: V.t -> 'a map -> 'a

1	open Encodings
2
3	module V : sig
4	include Custom.T
5	val value: t -> Ns.qname (* Get rid of that ... *)
6	val mk: Ns.t -> Utf8.t -> t
7	val mk_ascii: string -> t
8	val print: Format.formatter -> t -> unit
9	val print_quote: Format.formatter -> t -> unit
10	end
11
12
13	include Custom.T
14	val print : t -> (Format.formatter -> unit) list
15
16	val empty : t
17	val any : t
18
19	val cup : t -> t -> t
20	val cap : t -> t -> t
21	val diff : t -> t -> t
22	val atom : V.t -> t
23	val any_in_ns : Ns.t -> t
24
25	val contains : V.t -> t -> bool
26	val disjoint : t -> t -> bool
27	val is_empty : t -> bool
28	val print_tag : t -> (Format.formatter -> unit) option
29
30
31	type 'a map
32	val mk_map: (t * 'a) list -> 'a map
33	val get_map: V.t -> 'a map -> 'a
34