Module Comonadic.Per_axis
val zap_to_floor :
'a Ocaml_typing.Mode.Alloc.Comonadic.Axis.t ->
('a, Ocaml_typing.Mode.allowed * 'r) Ocaml_typing.Mode.mode ->
'aval zap_to_ceil :
'a Ocaml_typing.Mode.Alloc.Comonadic.Axis.t ->
('a, 'l * Ocaml_typing.Mode.allowed) Ocaml_typing.Mode.mode ->
'a