The formulae `top` and `bot` are constant#868

Merged

Halbaroth merged 1 commit intoOCamlPro:nextfrom Halbaroth:module-x

Oct 23, 2023

+34-28

Commits on Oct 23, 2023

Use constants for the top and bottom formulae
Halbaroth
committed