Module `Const.Axis`

val alloc_as_value : Mode.Alloc.Axis.packed -> Mode.Value.Axis.packed

val is_areality : 
  'a Mode.Alloc.Axis.t ->
  (('a, Mode.Locality.Const.t) Misc.eq, 'a Mode.Value.Axis.t) Stdlib.Either.t

Module Const.Axis