jon.recoil.org

Module Crossing.Per_axis

val le : 'a Ocaml_typing.Mode.Crossing.Axis.t -> 'a -> 'a -> bool
val join : 'a Ocaml_typing.Mode.Crossing.Axis.t -> 'a -> 'a -> 'a
val meet : 'a Ocaml_typing.Mode.Crossing.Axis.t -> 'a -> 'a -> 'a