package zelus

  1. Overview
  2. Docs
val moduleident : Zident.t -> Zident.t
val eblock : 'a -> 'a Zelus.block
val eq_present : Zelus.eq list Zelus.block Zelus.present_handler list -> Zelus.eq list -> Zelus.eq list
val extend_block : 'a list -> 'a list Zelus.block option -> 'a list Zelus.block
module TableOfTypes : sig ... end
val constr : string -> Deftypes.typ list -> Deftypes.typ_desc Deftypes.loc
val state_value : Deftypes.typ -> Deftypes.tentry
val state_parameter : bool -> Deftypes.typ -> Deftypes.tentry

p = ..., ...p..., ...last p...

val block : (Zelus.local list -> Zelus.local list) -> ('a -> 'b) -> 'a Zelus.block -> 'b Zelus.block
val present_handlers : (Zelus.scondpat -> Zelus.scondpat) -> ('a -> 'b) -> 'a Zelus.present_handler list -> 'b Zelus.present_handler list
val equation : Zident.S.t -> Zelus.eq -> Zelus.eq

Translating an equation. lnames defines names x that must be

val equation_list : Zident.S.t -> Zelus.eq list -> Zelus.eq list
val block_eq_list : Zident.S.t -> Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block
val present_handler_exp_list : Zident.S.t -> Zelus.exp Zelus.present_handler list -> Zelus.exp Zelus.present_handler list
val present_handler_block_eq_list : Zident.S.t -> Zelus.eq list Zelus.block Zelus.present_handler list -> Zelus.eq list Zelus.block Zelus.present_handler list
val match_handler_exp_list : Zident.S.t -> Zelus.exp Zelus.match_handler list -> Zelus.exp Zelus.match_handler list
val match_handler_block_eq_list : Zident.S.t -> Zelus.eq list Zelus.block Zelus.match_handler list -> Zelus.eq list Zelus.block Zelus.match_handler list
val automaton : Zident.S.t -> Zelus.is_weak -> Zelus.state_handler list -> Zelus.state_exp option -> Zelus.eq

an extended list containing eq_list and new equations

OCaml

Innovation. Community. Security.