Translation_context.Make
module L : Location_sig.LOCATIONS
module H : HeapEncoding_sig.HEAP_ENCODING with module Locations = L
module Locations = H.Locations
module HeapEncoding = H
type t = (H.Locations.t, H.t) t
val init : Context.t -> t