Replace `OrdF64` type in the compiler with a first-class `PositiveF64` type - #988

Merged

apoelstra merged 13 commits into

rust-bitcoin:masterfrom

apoelstra:2026-06/ord-f64

Aug 22, 2026

Commits on Aug 14, 2026

Commits on Aug 21, 2026

concrete: use PositiveF64 directly in TapleafProbabilityIter
apoelstra
committed
8c8af5a
concrete: directly use PositiveF64 in Policy::enumerate_pol
apoelstra
committed
f9a53ab
compiler: replace AstElemExt::terminal with explicit functions
apoelstra
committed
ea221af
compiler: replace conjuctions in AstElemExt::type_check with explicit functions
apoelstra
committed
bae21c6
compiler: replace disjunctions
apoelstra
committed
a29c6ee
compiler: add AstElemExt::and_or function
apoelstra
committed
7eb4a0c
compiler: delete a ton of unused code
apoelstra
committed
b83bab9
compiler: use PositiveF64 for all probabilites
apoelstra
committed
47464b0
Remove the default `PositiveF64` constructor
apoelstra
committed
41b75a0