~/jendhub

def step_hot

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

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

115# the slot flag after a comma
116def step_hot(+hot: Bool, +left: Nat, +live: Bool) -> Bool:
117  match live:
118    case False{}:
119      hot
120    case True{}:
121      step_hot_live(left)

Uses (3)

Used by (1)