let
mk_fguard f =
Pretty_utils
.sfprintf
"is_%a"
Ctypes
.pp_float f