E (astral.Astral_internal.GlobalSID.Translation.E)

module Locations : Location_sig.LOCATIONS

module HeapEncoding : 
  HeapEncoding_sig.HEAP_ENCODING with module Locations = Locations

module Context : 
  Encoding_context_sig.ENCODING_CONTEXT
    with module Locations = Locations
    with module HeapEncoding = HeapEncoding
     and type t = (Locations.t, HeapEncoding.t) Translation_context.t

module SetEncoding : SetEncoding_sig.SET_ENCODING

module QuantifierEncoding : 
  Translation_sig.QUANTIFIER_ENCODING with module Locations = Locations