package zelus

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.