def cmp_f

import minebender-game@1.0.0.0/proof_solver.bend as ProofSolver

import Base
import minebender-game@1.0.0.0/types.bend as T

207def cmp_f(e: CE, q: T.Pos) -> Bool:
208  cmp_f.go(e, q)

Uses (4)