Translation_context (astral.Astral_internal.Translation

type nonrec ('locs, 'heap) t = ('locs, 'heap) Encoding_context_sig.t

module Make
  (L : Location_sig.LOCATIONS)
  (H : HeapEncoding_sig.HEAP_ENCODING with module Locations = L) : 
  Encoding_context_sig.ENCODING_CONTEXT
    with module Locations = H.Locations
     and module HeapEncoding = H
     and type t = (H.Locations.t, H.t) t