Module Arch.Registers

module Domain : sig ... end

val registers : (string * Units.In_bits.t) list

val initial_value : Domain.Context.t -> (string * Units.In_bits.t) -> Domain.binary