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