zelus 2.2 · OCaml Package

module StringSet : sig ... end

val add : StringSet.t ref -> Zparsetree.longname -> unit

val add_opt : ('a -> 'b -> unit) -> 'a -> 'b option -> unit

val add_default : ('a -> 'b -> 'c) -> 'a -> 'b Zparsetree.default -> 'c

val add_size : StringSet.t ref -> Zparsetree.size -> unit

val add_type_expr : StringSet.t ref -> Zparsetree.type_expression -> unit

val add_interface : 
  StringSet.t ref ->
  Zparsetree.interface_desc Zparsetree.localized ->
  unit

val add_type_decl : StringSet.t ref -> Zparsetree.type_decl -> unit

val add_implem : 
  StringSet.t ref ->
  Zparsetree.implementation_desc Zparsetree.localized ->
  unit

val add_exp : StringSet.t ref -> Zparsetree.exp -> unit

val add_op : StringSet.t ref -> Zparsetree.op -> unit

val add_field : 
  StringSet.t ref ->
  (Zparsetree.longname * Zparsetree.exp) ->
  unit

val add_pattern : StringSet.t ref -> Zparsetree.pattern -> unit

val add_eq : StringSet.t ref -> Zparsetree.eq -> unit

val add_eq_list : StringSet.t ref -> Zparsetree.eq list -> unit

val add_block : 
  'a. (StringSet.t ref -> 'a -> unit) ->
  StringSet.t ref ->
  'a Zparsetree.block ->
  unit

val add_local : StringSet.t ref -> Zparsetree.local -> unit

val add_statepat : StringSet.t ref -> Zparsetree.statepat -> unit

val add_state_exp : StringSet.t ref -> Zparsetree.state_exp -> unit

val add_escape : StringSet.t ref -> Zparsetree.escape -> unit

val add_scondpat : StringSet.t ref -> Zparsetree.scondpat -> unit

val add_match_handler : 
  'a. (StringSet.t ref -> 'a -> unit) ->
  StringSet.t ref ->
  'a Zparsetree.match_handler ->
  unit

val add_present_handler : 
  'a. (StringSet.t ref -> 'a -> unit) ->
  StringSet.t ref ->
  'a Zparsetree.present_handler ->
  unit

val add_state_handler : 
  'a. (StringSet.t ref -> 'a -> unit) ->
  StringSet.t ref ->
  'a Zparsetree.state_handler ->
  unit

val add_forall_handler : StringSet.t ref -> Zparsetree.forall_handler -> unit

val add_index : 
  StringSet.t ref ->
  Zparsetree.indexes_desc Zparsetree.localized ->
  unit

val add_init : 
  StringSet.t ref ->
  Zparsetree.init_desc Zparsetree.localized ->
  unit

val file : ('a ref -> 'b -> unit) -> 'a -> 'b list -> 'a

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

package zelus