Skip to main content

coin_toss

Function coin_toss 

Source
pub fn coin_toss() -> bool
👎Deprecated since 0.2.0:

please use nondet() or <bool>::nondet() instead