zelus 2.1 · OCaml Package

val emit : 'a -> 'a * 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 build : 
  (Ident.t * Ident.t * Deftypes.typ) Ident.Env.t ->
  Deftypes.tentry Ident.Env.t ->
  (Ident.t * Ident.t * Deftypes.typ) Ident.Env.t
  * Zelus.vardec list
  * Deftypes.tentry Ident.Env.t

val equal : Zelus.exp -> Zelus.exp -> bool

val mem : Zelus.exp -> Zelus.exp list -> bool

val defnames : 
  (Ident.S.elt * Ident.S.elt * 'a) Ident.Env.t ->
  Deftypes.defnames ->
  Deftypes.defnames

val split : 
  Zelus.scondpat ->
  Zelus.exp list * Zelus.pattern list * Zelus.exp list

val pattern : 
  (Ident.t * Ident.t * Deftypes.typ) Ident.Env.t ->
  Zelus.pattern ->
  Zelus.pattern

val exp : 
  (Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
  Zelus.exp ->
  Zelus.exp

val equation : 
  (Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
  Zelus.eq list ->
  Zelus.eq ->
  Zelus.eq list

val equation_list : 
  (Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
  Zelus.eq list ->
  Zelus.eq list

val local : 
  (Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
  Zelus.local ->
  (Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t * Zelus.local

val locals : 
  (Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
  Zelus.local list ->
  (Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t * Zelus.local list

val block : 
  (Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
  Zelus.eq list Zelus.block ->
  (Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t
  * Zelus.eq list Zelus.block

val match_handler : 
  (Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
  Zelus.eq list Zelus.block Zelus.match_handler ->
  Zelus.eq list Zelus.block Zelus.match_handler

val present_handlers : 
  (Ident.S.elt * Ident.S.elt * Deftypes.typ) Ident.Env.t ->
  Zelus.eq list ->
  Zelus.eq list Zelus.block Zelus.present_handler list ->
  Zelus.eq list Zelus.block option ->
  Zelus.eq list

val implementation : 
  Zelus.implementation_desc Zelus.localized ->
  Zelus.implementation_desc Zelus.localized

val implementation_list : 
  Zelus.implementation_desc Zelus.localized list ->
  Zelus.implementation_desc Zelus.localized list

package zelus