fact: Definition classify (f : type) := match f with Fnan => Sig.Fnan | _ => Sig.Freal end.
imports: Coq(ZArith Reals Lia Bool Psatz) Flocq(Zaux Raux Digits Bracket) mathcomp.ssreflect(ssrbool) Xreal Basic Generic Generic_proof Sig Specific_sig