Module `Hook0.Fields`

val names : string list
val hook_type : ([< `Read | `Set_and_create ], 'a t, 'a Hook_type.t) Fieldslib.Field.t_with_perm
val var : ([< `Read | `Set_and_create ], 'a t, Ecaml__.Import.Function.t list Ecaml.Var.t) Fieldslib.Field.t_with_perm
val make_creator : var:(([< `Read | `Set_and_create ], 'a t, Ecaml__.Import.Function.t list Ecaml.Var.t) Fieldslib.Field.t_with_perm -> 'b -> ('c -> Ecaml__.Import.Function.t list Ecaml.Var.t) * 'd) -> hook_type:(([< `Read | `Set_and_create ], 'e t, 'e Hook_type.t) Fieldslib.Field.t_with_perm -> 'd -> ('c -> 'f Hook_type.t) * 'g) -> 'b -> ('c -> 'f t) * 'g
val create : var:Ecaml__.Import.Function.t list Ecaml.Var.t -> hook_type:'a Hook_type.t -> 'a t
val map : var:(([< `Read | `Set_and_create ], 'a t, Ecaml__.Import.Function.t list Ecaml.Var.t) Fieldslib.Field.t_with_perm -> Ecaml__.Import.Function.t list Ecaml.Var.t) -> hook_type:(([< `Read | `Set_and_create ], 'b t, 'b Hook_type.t) Fieldslib.Field.t_with_perm -> 'c Hook_type.t) -> 'c t
val iter : var:(([< `Read | `Set_and_create ], 'a t, Ecaml__.Import.Function.t list Ecaml.Var.t) Fieldslib.Field.t_with_perm -> unit) -> hook_type:(([< `Read | `Set_and_create ], 'b t, 'b Hook_type.t) Fieldslib.Field.t_with_perm -> unit) -> unit
val fold : init:'a -> var:('a -> ([< `Read | `Set_and_create ], 'b t, Ecaml__.Import.Function.t list Ecaml.Var.t) Fieldslib.Field.t_with_perm -> 'c) -> hook_type:('c -> ([< `Read | `Set_and_create ], 'd t, 'd Hook_type.t) Fieldslib.Field.t_with_perm -> 'e) -> 'e
val map_poly : ([< `Read | `Set_and_create ], 'a t, 'b) Fieldslib.Field.user -> 'b list
val for_all : var:(([< `Read | `Set_and_create ], 'a t, Ecaml__.Import.Function.t list Ecaml.Var.t) Fieldslib.Field.t_with_perm -> bool) -> hook_type:(([< `Read | `Set_and_create ], 'b t, 'b Hook_type.t) Fieldslib.Field.t_with_perm -> bool) -> bool
val exists : var:(([< `Read | `Set_and_create ], 'a t, Ecaml__.Import.Function.t list Ecaml.Var.t) Fieldslib.Field.t_with_perm -> bool) -> hook_type:(([< `Read | `Set_and_create ], 'b t, 'b Hook_type.t) Fieldslib.Field.t_with_perm -> bool) -> bool
val to_list : var:(([< `Read | `Set_and_create ], 'a t, Ecaml__.Import.Function.t list Ecaml.Var.t) Fieldslib.Field.t_with_perm -> 'b) -> hook_type:(([< `Read | `Set_and_create ], 'c t, 'c Hook_type.t) Fieldslib.Field.t_with_perm -> 'b) -> 'b list

module Direct : sig ... end