let
mk_nonpos = { dom =
Dom
.
Real
; lo =
None
; hi =
Some
(
Q
.zero,
true
) }