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