Astral_internal.ArrayEncoding
module Make (L : Location_sig.LOCATIONS) : HeapEncoding_sig.HEAP_ENCODING with module Locations = L