Module `Modality.Per_axis`Source

For interfacing with the user only; potentially slow.

Sourceval is_id : 'a Axis.t -> 'a -> bool

Test if the given modality is the identity modality.

Sourceval is_constant : 'a Axis.t -> 'a -> bool

Test if the given modality is a constant modality.

Sourceval print : 'a Axis.t -> Ocaml_typing.Mode_intf.Fmt.formatter -> 'a -> unit

Module Modality.Per_axisSource