Type alias LabelCommand

LabelCommand: {
    kind: "command.label";
    label: string;
    location: Location;
    name: "label" | "ref" | "eqref" | "autoref";
}