Module Glob.NFA.IS


module IS: My_std.Set.Make(sig
type t = int 
val compare : 'a -> 'a -> int
val print : Format.formatter -> int -> unit
end)

include struct ... end
val find : (elt -> bool) -> t -> elt
val map : (elt -> elt) -> t -> t
val of_list : elt list -> t
val print : Format.formatter -> t -> unit