import { nat } from "things"; export declare class Span { static none: Span; startLine: nat; startColumnInclusive: nat; endLine: nat; endColumnExclusive: nat; constructor(startLine: nat, startColumnInclusive: nat, endLine: nat, endColumnExclusive: nat); } export declare function spanOfResult(result: Span): Span; export declare class Spanned { span: Span | undefined; t: T; constructor(span: Span | undefined, t: T); toString(): string; }