def late

bolt@1.27.0.0 · src/rules/style/transcong.bend:91

import bolt@1.27.0.0/src/rules/style/transcong.bend as Transcong

import Base

91# is an argument with nc commas before it the fifth or the sixth?
92def late(+nc: Nat) -> Bool:
93  Bool.or(Nat.is_eq(nc, 4n), Nat.is_eq(nc, 5n))

Uses (4)

Used by (1)

bolt@1.27.0.0/src/rules/style/transcong:fed