viewcvs.cgi/types/atoms.mli

type 'a t (* = Finite of 'a list | Cofinite of 'a list *)

val empty : 'a t
val any   : 'a t

val cup : 'a t -> 'a t -> 'a t
val cap : 'a t -> 'a t -> 'a t
val diff : 'a t -> 'a t -> 'a t
val atom : 'a -> 'a t

val contains : 'a -> 'a t -> bool
val is_empty : 'a t -> bool
val is_atom : 'a t -> 'a option
val sample : ('a list -> 'a) -> 'a t -> 'a

val print : string -> (Format.formatter -> 'a -> unit) -> 'a t -> 
  (Format.formatter -> unit) list
1	abate	1	type 'a t (* = Finite of 'a list \| Cofinite of 'a list *)
2
3			val empty : 'a t
4	abate	18	val any : 'a t
5	abate	1
6			val cup : 'a t -> 'a t -> 'a t
7			val cap : 'a t -> 'a t -> 'a t
8			val diff : 'a t -> 'a t -> 'a t
9			val atom : 'a -> 'a t
10
11			val contains : 'a -> 'a t -> bool
12			val is_empty : 'a t -> bool
13	abate	110	val is_atom : 'a t -> 'a option
14	abate	1	val sample : ('a list -> 'a) -> 'a t -> 'a
15
16			val print : string -> (Format.formatter -> 'a -> unit) -> 'a t ->
17			(Format.formatter -> unit) list