Fuel.slots: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/rules/pedantic/fuel.bend as Fuel Lines 91-93 of bolt@1.27.0.0/src/rules/pedantic/fuel.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/pedantic/fuel.bend&start_line=91&end_line=93 import Base import bolt@1.27.0.0/src/syntax/tree.bend as Tree import bolt@1.27.0.0/src/rules/calls.bend as Calls # the parameters a def's fuel may sit in: none when it returns an effect def slots(+sig: Tree.Node, body: Tree.Node) -> List<&2, Tree.Node>: Bool.pick(List<&2, Tree.Node>, effect(sig, under(body)), [], Calls.params(sig)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/calls.bend&name=params https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/fuel.bend&name=effect https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/fuel.bend&name=under https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=Node