package zelus

  1. Overview
  2. Docs
val empty : return
val with_eq : Zelus.eq -> return -> return
val and_op : Zelus.exp -> Zelus.exp -> Zelus.exp
val or_op : Zelus.exp -> Zelus.exp -> Zelus.exp
val filter_list : return -> Zelus.pattern list -> Zelus.exp list -> Zelus.exp * return
val is_a_case_statement : 'a Zelus.match_handler list -> bool

In case a pattern matching is "simple", that is,

val match_into_condition : bool Stdlib.ref -> return -> Zelus.exp -> Zelus.eq list Zelus.block Zelus.match_handler list -> Zelus.eq * return

Translate a pattern matching construct into a conditional

val expression : Zelus.exp -> Zelus.exp
val equation : return -> Zelus.eq -> Zelus.eq * return
val block : Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block
val local : Zelus.local -> Zelus.local
val let_expression : Zelus.exp -> Zelus.exp