ProofWalk.and4: def of minebender-game@1.0.0.0
Import: import minebender-game@1.0.0.0/proof_walk.bend as ProofWalk
Lines 12-13 of minebender-game@1.0.0.0/proof_walk.bend: https://jend.leeeet.dev/read.txt?path=minebender-game@1.0.0.0/proof_walk.bend&start_line=12&end_line=13

import Base

def and4(+a: Bool, +b: Bool, +c: Bool, +d: Bool) -> Bool:
  Bool.and(Bool.and(Bool.and(a, b), c), d)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and