Module Concrete_state

module Concrete_state: sig .. end

module SubEnv: Basic_types.BigInt.Map
type concreteMap = Region_bitvector.t SubEnv.t Static_types.Env.t 
val m_init : Region_bitvector.t SubEnv.t Static_types.Env.t Pervasives.ref
val display : Format.formatter -> concreteMap -> unit