Function

set_value(_:for:)

Sets the value b for the bit at position p.

Source
fun set_value(
   _ b: Bool,
   for p: Position
) { inout }

Preconditions

  • p is a valid position in self.