package zelus

  1. Overview
  2. Docs
val emit : 'a -> 'b * Zelus.exp

representation of signals

val presentpat : Zelus.pattern -> Zelus.pattern
val test : Zelus.exp -> Zelus.desc
val eq_match : bool -> Zelus.exp -> Zelus.eq list Zelus.block Zelus.match_handler list -> Zelus.eq
val equal : Zelus.exp -> Zelus.exp -> bool
val mem : Zelus.exp -> Zelus.exp list -> bool
val split : Zelus.scondpat -> Zelus.exp list * Zelus.pattern list * Zelus.exp list
val equation_list : (Zident.S.elt * Zident.S.elt * Deftypes.typ) Zident.Env.t -> Zelus.eq list -> Zelus.eq list
val present_handlers : (Zident.S.elt * Zident.S.elt * Deftypes.typ) Zident.Env.t -> Zelus.eq list -> Zelus.eq list Zelus.block Zelus.present_handler list -> Zelus.eq list Zelus.block option -> Zelus.eq list