Module Activate

val block_of_eq : Ident.S.t -> Zelus.pattern -> Zelus.exp -> Zelus.eq list Zelus.block
val block_of_der : Ident.S.t -> Ident.t -> Zelus.exp -> Zelus.eq list Zelus.block
val block_spat_e_list : Ident.S.t -> Zelus.pattern -> Zelus.exp Zelus.present_handler list -> Zelus.eq list Zelus.block Zelus.present_handler list
val present : Ident.S.t -> Ident.t -> Zelus.exp Zelus.present_handler list -> Zelus.exp -> Zelus.eq list -> Zelus.eq list
val der_present : Ident.S.elt -> Zelus.exp -> Zelus.exp option -> Zelus.exp Zelus.present_handler list -> Zelus.eq list -> Zelus.eq list
val exp : Zelus.exp -> Zelus.exp
val local : Zelus.local -> Zelus.local
val equation_list : Zelus.eq list -> Zelus.eq list
val equation : Zelus.eq list -> Zelus.eq -> Zelus.eq list
val block : Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block
val scondpat : Zelus.scondpat -> Zelus.scondpat
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