trunk/types/chars.mli

module Unichar : sig
  type t
  val from_int: int -> t
  val from_char: char -> t
  val to_int: t -> int

  val print : Format.formatter -> t -> unit
  val print_in_string : Format.formatter -> t -> unit
end

type t = (Unichar.t * Unichar.t) list

val empty : t
val any   : t
val cup   : t -> t -> t
val cap   : t -> t -> t
val diff  : t -> t -> t
val char_class  : Unichar.t -> Unichar.t -> t
val atom  : Unichar.t -> t


val is_empty : t -> bool
val contains : Unichar.t -> t -> bool
val sample : t -> Unichar.t

val print : t -> (Format.formatter -> unit) list
1	abate	12	module Unichar : sig
2			type t
3			val from_int: int -> t
4	abate	13	val from_char: char -> t
5	abate	12	val to_int: t -> int
6	abate	13
7	abate	12	val print : Format.formatter -> t -> unit
8	abate	52	val print_in_string : Format.formatter -> t -> unit
9	abate	12	end
10
11			type t = (Unichar.t * Unichar.t) list
12
13			val empty : t
14	abate	18	val any : t
15	abate	12	val cup : t -> t -> t
16			val cap : t -> t -> t
17			val diff : t -> t -> t
18	abate	13	val char_class : Unichar.t -> Unichar.t -> t
19			val atom : Unichar.t -> t
20	abate	12
21
22			val is_empty : t -> bool
23	abate	45	val contains : Unichar.t -> t -> bool
24	abate	12	val sample : t -> Unichar.t
25
26			val print : t -> (Format.formatter -> unit) list