Module `Jkind_axis.Axis_set`

type t

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

val empty : Ocaml_typing.Jkind_axis.Axis_set.t

val singleton : 
  _ Ocaml_typing.Jkind_axis.Axis.t ->
  Ocaml_typing.Jkind_axis.Axis_set.t

val is_empty : Ocaml_typing.Jkind_axis.Axis_set.t -> bool

val add : 
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  _ Ocaml_typing.Jkind_axis.Axis.t ->
  Ocaml_typing.Jkind_axis.Axis_set.t

val remove : 
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  _ Ocaml_typing.Jkind_axis.Axis.t ->
  Ocaml_typing.Jkind_axis.Axis_set.t

val mem : 
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  _ Ocaml_typing.Jkind_axis.Axis.t ->
  bool

val equal : 
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  bool

val union : 
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  Ocaml_typing.Jkind_axis.Axis_set.t

val intersection : 
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  Ocaml_typing.Jkind_axis.Axis_set.t

val diff : 
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  Ocaml_typing.Jkind_axis.Axis_set.t

val is_subset : 
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  bool

val complement : 
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  Ocaml_typing.Jkind_axis.Axis_set.t

val to_seq : 
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  Ocaml_typing.Jkind_axis.Axis.packed Stdlib.Seq.t

val to_list : 
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  Ocaml_typing.Jkind_axis.Axis.packed list

val create : 
  f:(axis:Ocaml_typing.Jkind_axis.Axis.packed -> bool) ->
  Ocaml_typing.Jkind_axis.Axis_set.t

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

val all : Ocaml_typing.Jkind_axis.Axis_set.t

A set of all axes

val all_modal_axes : Ocaml_typing.Jkind_axis.Axis_set.t

A set of all modal axes

val all_nonmodal_axes : Ocaml_typing.Jkind_axis.Axis_set.t

A set of all nonmodal axes

val print : 
  Stdlib.Format.formatter ->
  Ocaml_typing.Jkind_axis.Axis_set.t ->
  unit

Module Jkind_axis.Axis_set