func `$`(a: ExprIndex): string {....raises: [], tags: [], forbids: [].}

func `$`(a: SetIndex): string {....raises: [], tags: [], forbids: [].}

func `+`(a: ExprIndex; b: ExprIndex): ExprIndex {....raises: [], tags: [],
    forbids: [].}

func `+`(a: SetIndex; b: SetIndex): SetIndex {....raises: [], tags: [], forbids: [].}

func `-`(a: ExprIndex; b: ExprIndex): ExprIndex {....raises: [], tags: [],
    forbids: [].}

func `-`(a: SetIndex; b: SetIndex): SetIndex {....raises: [], tags: [], forbids: [].}

func `<`(a: ExprIndex; b: ExprIndex): bool {....raises: [], tags: [], forbids: [].}

func `<=`(a: ExprIndex; b: ExprIndex): bool {....raises: [], tags: [], forbids: [].}

func `==`(a: ExprIndex; b: ExprIndex): bool {....raises: [], tags: [], forbids: [].}

func `==`(a: SetIndex; b: SetIndex): bool {....raises: [], tags: [], forbids: [].}

func `>`(a: ExprIndex; b: ExprIndex): bool {....raises: [], tags: [], forbids: [].}

func `>=`(a: ExprIndex; b: ExprIndex): bool {....raises: [], tags: [], forbids: [].}

proc add[T, U](a: var SeqOfDistinct[T, U]; value: U)

proc checkNil(s: PSym; body: PNode; conf: ConfigRef; idgen: IdGenerator) {....raises: [
    ValueError, IOError, KeyError, OSError, Exception, ERecoverableError], tags: [
    WriteIOEffect, ReadEnvEffect, ReadIOEffect, RootEffect, ReadDirEffect],
    forbids: [].}