type Fuel

bolt@1.27.0.0 · src/rules/pedantic/fuel.bend:36

import Base

36# a def of the file and the position of a fuel parameter
37type Fuel is Data:
38  Fuel{name: String, at: Nat}