Module Mode.Const
val alloc_as_value : Alloc.Const.t -> Value.Const.tmodule Axis : sig ... endval locality_as_regionality : Locality.Const.t -> Regionality.Const.tMode.Constval alloc_as_value : Alloc.Const.t -> Value.Const.tmodule Axis : sig ... endval locality_as_regionality : Locality.Const.t -> Regionality.Const.t