package zelus

  1. Overview
  2. Docs
val collection : Zelus.eq list -> Zelus.eq Dependences.collection
val schedule : Zelus.eq list -> Zelus.eq list
val equation : Zelus.eq -> Zelus.eq
val match_eq : Zelus.total Stdlib.ref -> Zelus.exp -> Zelus.eq list Zelus.block Zelus.match_handler list -> Zelus.eqdesc
val reset_eq : Zelus.eq list -> Zelus.exp -> Zelus.eqdesc
val block : Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block
val local : Zelus.local -> Zelus.local
val exp : Zelus.exp -> Zelus.exp

Top level expressions

OCaml

Innovation. Community. Security.