Type annotations

Apply an annotation to parameter types, including generic arguments.

Mark.kalm kalm
pub annotation Mark:
    target typeUse
    value: Text = "checked"

pub fun echo(value: @Mark Text) -> @Mark Text:
    return value

Learn more.