Module Glob.NFA.ISM

module ISM: Map.Make(sig
type t = Glob.NFA.IS.t 

val compare : Glob.NFA.IS.t -> Glob.NFA.IS.t -> int
val print : Format.formatter -> Glob.NFA.IS.t -> unit
end)