open Preamble

open Relations

open Bool

open Hints_declaration

open Core_notation

open Pts

open Logic

open Types

open Deqsets

open Sets

open Nat

open List

open Listb

open Div_and_mod

open Jmeq

open Russell

open Util

val eqb_elim :
  Deqsets.deqSet -> __ -> __ -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1