Module Patternsig.C

module SSet : sig ... end
val uniq : SSet.elt list -> SSet.elt list
val is_complete : SSet.elt list -> bool
val not_in : SSet.elt list -> LANG.tag
val head_constrs : 'a Zmatching.pattern -> ('a * int) list
val matS : LANG.tag -> int -> LANG.tag Zmatching.pattern list list -> LANG.tag Zmatching.pattern list list
val matD : 'a Zmatching.pattern list list -> 'a Zmatching.pattern list list
val algU : SSet.elt Zmatching.pattern list list -> LANG.tag Zmatching.pattern list -> bool
and !'a trimat = 'a trivec list
val trimatS : LANG.tag -> int -> LANG.tag trivec list -> LANG.tag trivec list
val shift1 : 'a trivec -> 'a trivec
val shift2 : 'a trivec -> 'a trivec
val simple_union : 'a list option -> 'a list option -> 'a list option
val union : 'a -> 'a -> 'a list option -> 'a list option -> 'a list option
val algU' : SSet.elt trivec list -> SSet.elt trivec -> LANG.tag Zmatching.pattern list option
val algI : SSet.elt Zmatching.pattern list list -> int -> SSet.elt Zmatching.pattern list option
type result = Zmatching.PATTERN_CHECKER(LANG).result = {
  1. not_matched : LANG.pattern_ast option;
  2. redundant_patterns : LANG.pattern_ast list;
}
val check : LANG.pattern_ast list -> result