Module Const.Axis
val alloc_as_value :
Ocaml_typing.Mode.Alloc.Axis.packed ->
Ocaml_typing.Mode.Value.Axis.packedval is_areality :
'a Ocaml_typing.Mode.Alloc.Axis.t ->
(('a, Ocaml_typing.Mode.Locality.Const.t) Ocaml_utils.Misc_stdlib.eq,
'a Ocaml_typing.Mode.Value.Axis.t)
Stdlib.Either.t