func addUniq[T](a: var seq[T]; b: seq[T])

func addUniq[T](a: var seq[T]; b: T)

func argsWithDefault[T](args: seq[T]; index: int; default: T): T

func deleteIf[T](a: var seq[T]; i: int)

func findIf[T](s: seq[T]; pred: (T {.noSideEffect.} -> bool)): Option[T]

func findSubstr(s: string; t: string; strFroms: seq[int]): bool {....raises: [],
    tags: [], forbids: [].}

func toSeq[T](s: Slice[T]): seq[T]

macro mainExamples(body: untyped): untyped

template isAbstract(): untyped

template todo(): untyped

template unreachable(s: string): untyped