Module Jasmin.Eqb_core_defs

val iffP2 : ('a1 -> 'a1 -> bool) -> 'a1 -> 'a1 -> Bool.reflect
val pos_eq_dec : BinNums.positive -> BinNums.positive -> bool
val eqb_body : ('a1 -> BinNums.positive) -> ('a1 -> 'a3) -> (BinNums.positive -> 'a2 -> 'a3 -> bool) -> BinNums.positive -> 'a2 -> 'a1 -> bool