LocationUtils (astral.Astral_internal.LocationUtils)

val init_mapping : 
  'a ->
  LocationBounds.t ->
  Sort.t ->
  (Astral_internal__SMT.t * Astral_internal__SMT.t) Sort.Map.t

val init : 
  'a ->
  LocationBounds0.t ->
  HeapSort.t ->
  Sort.t ->
  SMT.t ->
  SMT.t list ->
  Location_sig.sort_encoding Sort.Map.t ->
  'a Location_sig.locs