zelus 2.1 · OCaml Package

module StringSet : sig ... end

val add : StringSet.t Stdlib.ref -> Parsetree.longname -> unit

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

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

val add_size : StringSet.t Stdlib.ref -> Parsetree.size -> unit

val add_type_expr : StringSet.t Stdlib.ref -> Parsetree.type_expression -> unit

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

val add_type_decl : StringSet.t Stdlib.ref -> Parsetree.type_decl -> unit

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

val add_exp : StringSet.t Stdlib.ref -> Parsetree.exp -> unit

val add_op : StringSet.t Stdlib.ref -> Parsetree.op -> unit

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

val add_pattern : StringSet.t Stdlib.ref -> Parsetree.pattern -> unit

val add_eq : StringSet.t Stdlib.ref -> Parsetree.eq -> unit

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

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

val add_local : StringSet.t Stdlib.ref -> Parsetree.local -> unit

val add_statepat : StringSet.t Stdlib.ref -> Parsetree.statepat -> unit

val add_state_exp : StringSet.t Stdlib.ref -> Parsetree.state_exp -> unit

val add_escape : StringSet.t Stdlib.ref -> Parsetree.escape -> unit

val add_scondpat : StringSet.t Stdlib.ref -> Parsetree.scondpat -> unit

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

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

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

val add_forall_handler : 
  StringSet.t Stdlib.ref ->
  Parsetree.forall_handler ->
  unit

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

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

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

val source_file : 
  ?initial_structures:StringSet.t ->
  Parsetree.implementation_desc Parsetree.localized list ->
  StringSet.t

val interface_file : 
  ?initial_structures:StringSet.t ->
  Parsetree.interface_desc Parsetree.localized list ->
  StringSet.t

package zelus