Bosatsu/NumberProps

public dependencies: Bosatsu/Num/BinNat, Bosatsu/Num/Nat, Bosatsu/Rand

Index

• Values: rand_BinNat, rand_Int, rand_Nat

Values

rand_BinNat

rand_BinNat: Bosatsu/Rand::Rand[Bosatsu/Num/BinNat::BinNat]

rand_Int

Property checks for Nat, BinNat, Int external def todo(ignore: x) -> forall a. a

rand_Int: Bosatsu/Rand::Rand[Int]

rand_Nat

rand_Nat: Bosatsu/Rand::Rand[Bosatsu/Num/Nat::Nat]