Module Control

val equal : Zelus.exp -> Zelus.exp -> bool
val static_patterns : 'a Zelus.match_handler list -> bool
val candidate : (Zelus.exp * 'a Zelus.match_handler list) -> (Zelus.exp * 'b Zelus.match_handler list) -> bool
val equalpat : Zelus.pattern -> Zelus.pattern -> bool
val find : Zelus.pattern -> 'a Zelus.match_handler list -> 'a * 'a Zelus.match_handler list
val join : Zelus.eq -> Zelus.eq list -> Zelus.eq list
val joinblock : Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block
val joinlist : Zelus.eq list -> Zelus.eq list