jon.recoil.org

Module Jkind_axis.Axis_setSource

Sourcetype t

A set of Axis.t, represented as a bitfield for efficiency.

Sourceval empty : t
Sourceval singleton : _ Axis.t -> t
Sourceval is_empty : t -> bool
Sourceval add : t -> _ Axis.t -> t
Sourceval remove : t -> _ Axis.t -> t
Sourceval mem : t -> _ Axis.t -> bool
Sourceval equal : t -> t -> bool
Sourceval union : t -> t -> t
Sourceval intersection : t -> t -> t
Sourceval diff : t -> t -> t
Sourceval is_subset : t -> t -> bool
Sourceval complement : t -> t
Sourceval to_seq : t -> Axis.packed Seq.t
Sourceval to_list : t -> Axis.packed list
Sourceval create : f:(axis:Axis.packed -> bool) -> t

Create a t, specify for each axis whether it should be included

Sourceval all : t

A set of all axes

Sourceval all_modal_axes : t

A set of all modal axes

Sourceval all_nonmodal_axes : t

A set of all nonmodal axes

Sourceval print : Format.formatter -> t -> unit