The type over which the element is defined.
The type over which the element is defined.
Create a Flip that switches its randomness (true to false or false to true) every time it is proposed.
Create a Flip that switches its randomness (true to false or false to true) every time it is proposed. The parameter is an element.
Create a Flip that switches its randomness (true to false or false to true) every time it is proposed.
Create a Flip that switches its randomness (true to false or false to true) every time it is proposed. The parameter is constant.
Create an element of this type with the given arguments.
Create an element of this type with the given arguments.