~/jendhub

def mark.show

yaml-for-bend@0.1.1.0 · token.bend:75

import yaml-for-bend@0.1.1.0/token.bend as Token
import Base

75# "at line 2 column 5", counting from 1.
76def mark.show(m: Mark) -> String:
77  match m:
78    case Mark{line, col, idx}:
79      "line " ++ Nat.show(1n+line) ++ " column " ++ Nat.show(1n+col)

Uses (5)

Used by (1)