Searched defs:Fcmp (Results 1 – 3 of 3) sorted by relevance
19 enum class CheckKind { Fcmp, Consistency }; enumerator
158 module Fcmp = struct module
183 module Fcmp : sig module