Mutable is a mutable bits used by Cyclesim for efficiency.
val empty : tval width : t -> Base.Int.tval to_string : t -> Base.String.tval create : Base.Int.t -> tCreate a t of given width, initially set to 0.
val copy : src:t -> dst:t -> Base.Unit.tval copy_bits : src:t -> dst:t -> Base.Unit.tval num_words : t -> Base.Int.tA Bits.Mutable.t can be accessed as an array of 64 bit words.
val get_word : t -> Base.Int.t -> Base.Int64.tval set_word : t -> Base.Int.t -> Base.Int64.t -> Base.Unit.tval of_constant : Constant.t -> tval to_constant : t -> Constant.tval vdd : tval gnd : tval wire : Base.Int.t -> tval (--) : t -> Base.String.t -> tval (&:) : t -> t -> t -> Base.Unit.tval (|:) : t -> t -> t -> Base.Unit.tval (^:) : t -> t -> t -> Base.Unit.tval (~:) : t -> t -> Base.Unit.tval (+:) : t -> t -> t -> Base.Unit.tval (-:) : t -> t -> t -> Base.Unit.tval (==:) : t -> t -> t -> Base.Unit.tval (<>:) : t -> t -> t -> Base.Unit.tval (<:) : t -> t -> t -> Base.Unit.tval mux : t -> t -> t Base.List.t -> Base.Unit.tval concat : t -> t Base.List.t -> Base.Unit.tval select : t -> t -> Base.Int.t -> Base.Int.t -> Base.Unit.tval (*:) : t -> t -> t -> Base.Unit.tval (*+) : t -> t -> t -> Base.Unit.t