Module Jasmin.EqbOK

val reflect_dec : ('a1 -> 'a1 -> bool) -> ('a1 -> 'a1 -> Bool.reflect) -> 'a1 -> 'a1 -> bool