Transcong.late: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/transcong.bend as Transcong
Lines 91-93 of bolt@1.27.0.0/src/rules/style/transcong.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/style/transcong.bend&start_line=91&end_line=93

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq