Bosatsu/NumberProps

private package

source code: - test_workspace/NumberProps.bosatsu

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

Index

• Values: rand_BinNat, rand_Int, rand_Nat

Values

rand_BinNat

references: Bosatsu/Num/BinNat::BinNat, Bosatsu/Rand::Rand

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

references: Bosatsu/Rand::Rand, Int

rand_Int: Bosatsu/Rand::Rand[Int]

rand_Nat

references: Bosatsu/Num/Nat::Nat, Bosatsu/Rand::Rand

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