def Quantity.is_runtime

bend-lint-api@0.2.0.0 · linter/lint.bend:869

import Base

869# Whether a parameter of this quantity is there at run time.
870def Quantity.is_runtime(quantity: Quantity) -> Bool:
871  match quantity:
872    case Erased{}:
873      False{}
874    case Template{}:
875      False{}
876    case _:
877      True{}