Module Astral_internal.Location_sig

type sort_encoding = SMT.t * SMT.t list
type 'a locs = {
  1. internal : 'a;
  2. bounds : LocationBounds0.t;
  3. heap_sort : HeapSort.t;
  4. null : SMT.t;
  5. sort : Sort.t;
  6. constants : SMT.t list;
  7. mapping : (SMT.t * SMT.t) Sort.Map.t;
  8. sort_encoding : sort_encoding Sort.Map.t;
}
module type LOCATIONS_BASE = sig ... end
module type LOCATIONS = sig ... end