Foreign.Lanes: type of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/rules/pedantic/foreign.bend as Foreign Lines 18-20 of bolt@1.27.0.0/src/rules/pedantic/foreign.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/pedantic/foreign.bend&start_line=18&end_line=20 import Base # which lanes a foreign def's bodies cover type Lanes is Data: Lanes{c: Bool, js: Bool} Uses (1): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool