Module Monadic.Per_axis

val zap_to_floor : 'a Axis.t -> ('a, 'l * allowed) mode -> 'a
val zap_to_ceil : 'a Axis.t -> ('a, allowed * 'r) mode -> 'a