E.Context
module Locations = Locations
module HeapEncoding = HeapEncoding
type t = (Locations.t, HeapEncoding.t) Translation_context.t
val init : Context.t -> t