Module `Const.Axis`

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

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

Module Const.Axis