bonsai.proc
Bonsai.Set
bonsai
bonsai.arrow_deprecated
bonsai.balance_list_tree
bonsai.bench_scenario
bonsai.driver
bonsai.extra
bonsai.extra_proc
bonsai.introspection_protocol
bonsai.kernel_components
bonsai.ppx_bonsai_expander
bonsai.private_base
bonsai.private_gather
bonsai.trampoline
bonsai_kernel_effects
bonsai_kernel_fixed_point
bonsai_kernel_id_gen
bonsai_kernel_mirror
bonsai_kernel_one_at_a_time
bonsai_kernel_pipe
bonsai_kernel_selection_state
bonsai_kernel_state_machine
bonsai_kernel_throttle
bonsai_kernel_value_stability
bonsai_kernel_value_utilities
bonsai_kernel_wait_effect
effect_sequencer
ppx_bonsai
val union : here:lexing_position -> ('a, 'cmp) Core.Set.t Value.t -> ('a, 'cmp) Core.Set.t Value.t -> ('a, 'cmp) Core.Set.t Computation.t
val inter : here:lexing_position -> ('a, 'cmp) Core.Set.t Value.t -> ('a, 'cmp) Core.Set.t Value.t -> ('a, 'cmp) Core.Set.t Computation.t
val diff : here:lexing_position -> ('a, 'cmp) Core.Set.t Value.t -> ('a, 'cmp) Core.Set.t Value.t -> ('a, 'cmp) Core.Set.t Computation.t
val filter : here:lexing_position -> ('a, 'cmp) Core.Set.t Value.t -> f:('a -> bool) -> ('a, 'cmp) Core.Set.t Computation.t
val unordered_fold : here:lexing_position -> ('a, 'cmp) Core.Set.t Value.t -> init:'acc -> add:('acc -> 'a -> 'acc) -> remove:('acc -> 'a -> 'acc) -> 'acc Computation.t
val cartesian_product : here:lexing_position -> ('a1, 'cmp1) Core.Set.t Value.t -> ('a2, 'cmp2) Core.Set.t Value.t -> ('a1 * 'a2, ('cmp1, 'cmp2) Core.Tuple2.comparator_witness) Core.Set.t Computation.t
val union_map_data : here:lexing_position -> comparator:('a, 'cmp) Core.Comparator.t -> ('b, ('a, 'cmp) Core.Set.t, 'c) Core.Map.t Value.t -> ('a, 'cmp) Core.Set.t Computation.t