Parameter Make.Reg

module Domain = Domain

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

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