def cl_f

minebender-game@1.0.0.0 · proof_inv.bend:32

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

32def cl_f(e: CL, q: T.Pos) -> Bool:
33  cl_f.go(e, q)