~/jendhub

def name_slot

bolt@1.27.0.0 · src/rules/pedantic/rewalk.bend:64

import bolt@1.27.0.0/src/rules/pedantic/rewalk.bend as Rewalk
import Base

64# a mention of the name: wide, unless this position is a narrow slot
65def name_slot(+slot: Bool) -> Hit:
66  match slot:
67    case True{}:
68      Hit{False{}, True{}}
69    case False{}:
70      Hit{True{}, False{}}

Uses (2)

Used by (1)