Module Patternsig

module LANG : sig ... end
module C : sig ... end
val check_match_handlers : Zlocation.location -> 'a Zelus.match_handler list -> bool

about redundancy. Returns true if the pattern matching is exhaustive

val check_activate : 'a -> LANG.pattern_ast -> bool