Module Elpi_runtime

module Bl : sig ... end
module Data : sig ... end
module Discrimination_tree : sig ... end
module Ptmap : sig ... end

Maps over integers implemented as Patricia trees.

module Runtime : sig ... end
module Runtime_trace_off : sig ... end