Module `Monadic.Per_axis`

val zap_to_floor : 
  'a Ocaml_typing.Mode.Value.Monadic.Axis.t ->
  ('a, 'l * Ocaml_typing.Mode.allowed) Ocaml_typing.Mode.mode ->
  'a

val zap_to_ceil : 
  'a Ocaml_typing.Mode.Value.Monadic.Axis.t ->
  ('a, Ocaml_typing.Mode.allowed * 'r) Ocaml_typing.Mode.mode ->
  'a

Module Monadic.Per_axis