jon.recoil.org

Module Modality.Per_axis

val is_id : 'a Ocaml_typing.Mode.Modality.Axis.t -> 'a -> bool

Test if the given modality is the identity modality.

val is_constant : 'a Ocaml_typing.Mode.Modality.Axis.t -> 'a -> bool

Test if the given modality is a constant modality.