package zelus

  1. Overview
  2. Docs
module StringSet : sig ... end
val add : StringSet.t Stdlib.ref -> Zparsetree.longname -> unit
val add_opt : ('a -> 'b -> unit) -> 'c -> 'd option -> unit
val add_default : ('a -> 'b -> 'c) -> 'd -> 'e Zparsetree.default -> 'f
val add_size : StringSet.t Stdlib.ref -> Zparsetree.size -> unit
val add_type_expr : StringSet.t Stdlib.ref -> Zparsetree.type_expression -> unit
val add_interface : StringSet.t Stdlib.ref -> Zparsetree.interface_desc Zparsetree.localized -> unit
val add_type_decl : StringSet.t Stdlib.ref -> Zparsetree.type_decl -> unit
val add_implem : StringSet.t Stdlib.ref -> Zparsetree.implementation_desc Zparsetree.localized -> unit
val add_exp : StringSet.t Stdlib.ref -> Zparsetree.exp -> unit
val add_op : StringSet.t Stdlib.ref -> Zparsetree.op -> unit
val add_field : StringSet.t Stdlib.ref -> (Zparsetree.longname * Zparsetree.exp) -> unit
val add_pattern : StringSet.t Stdlib.ref -> Zparsetree.pattern -> unit
val add_eq : StringSet.t Stdlib.ref -> Zparsetree.eq -> unit
val add_eq_list : StringSet.t Stdlib.ref -> Zparsetree.eq list -> unit
val add_block : 'a. (StringSet.t Stdlib.ref -> 'a -> unit) -> StringSet.t Stdlib.ref -> 'a Zparsetree.block -> unit
val add_local : StringSet.t Stdlib.ref -> Zparsetree.local -> unit
val add_statepat : StringSet.t Stdlib.ref -> Zparsetree.statepat -> unit
val add_state_exp : StringSet.t Stdlib.ref -> Zparsetree.state_exp -> unit
val add_escape : StringSet.t Stdlib.ref -> Zparsetree.escape -> unit
val add_scondpat : StringSet.t Stdlib.ref -> Zparsetree.scondpat -> unit
val add_match_handler : 'a. (StringSet.t Stdlib.ref -> 'a -> unit) -> StringSet.t Stdlib.ref -> 'a Zparsetree.match_handler -> unit
val add_present_handler : 'a. (StringSet.t Stdlib.ref -> 'a -> unit) -> StringSet.t Stdlib.ref -> 'a Zparsetree.present_handler -> unit
val add_state_handler : 'a. (StringSet.t Stdlib.ref -> 'a -> unit) -> StringSet.t Stdlib.ref -> 'a Zparsetree.state_handler -> unit
val add_forall_handler : StringSet.t Stdlib.ref -> Zparsetree.forall_handler -> unit
val add_index : StringSet.t Stdlib.ref -> Zparsetree.indexes_desc Zparsetree.localized -> unit
val add_init : StringSet.t Stdlib.ref -> Zparsetree.init_desc Zparsetree.localized -> unit
val file : ('a Stdlib.ref -> 'b -> unit) -> 'c -> 'b list -> 'd
val source_file : ?initial_structures:StringSet.t -> Zparsetree.implementation_desc Zparsetree.localized list -> StringSet.t
val interface_file : ?initial_structures:StringSet.t -> Zparsetree.interface_desc Zparsetree.localized list -> StringSet.t