proc `$`(id: ComponentId): string {....raises: [], tags: [], forbids: [].}

proc add(archetype: var Archetype; adders: Table[ComponentId, Adder]): int {.
    ...raises: [Exception, KeyError], tags: [RootEffect], forbids: [].}

proc add[T: tuple](archetype: var Archetype; components: sink T): int

proc archetypeIdFrom(compIds: seq[ComponentId]): ArchetypeId {....raises: [],
    tags: [], forbids: [].}

proc contains(archetype: Archetype; candidateId: ArchetypeId): bool {.
    ...raises: [], tags: [], forbids: [].}

proc contains(archetype: Archetype; candidateId: ComponentId): bool {.
    ...raises: [], tags: [], forbids: [].}

proc disjointed(archetype: Archetype; candidateId: ArchetypeId): bool {.
    ...raises: [], tags: [], forbids: [].}

proc isEmpty(archetype: Archetype): bool {....raises: [], tags: [], forbids: [].}

proc makeArchetype(compIds: seq[ComponentId]; builders: seq[Builder];
                   movers: seq[Mover]): Archetype {....raises: [Exception],
    tags: [RootEffect], forbids: [].}

proc makeNextAdding(archetype: Archetype; compIds: seq[ComponentId];
                    builders: seq[Builder]; movers: seq[Mover]): Archetype {.
    ...raises: [Exception], tags: [RootEffect], forbids: [].}

proc makeNextRemoving(archetype: Archetype; compIds: seq[ComponentId]): Archetype {.
    ...raises: [Exception], tags: [RootEffect], forbids: [].}

proc moveAdding(fromArchetype: var Archetype; fromArchetypeEntityId: int;
                toArchetype: var Archetype; adders: Table[ComponentId, Adder]): int {.
    ...raises: [KeyError, Exception], tags: [RootEffect], forbids: [].}

proc moveRemoving(fromArchetype: var Archetype; fromArchetypeEntityId: int;
                  toArchetype: var Archetype): int {.
    ...raises: [KeyError, Exception], tags: [RootEffect], forbids: [].}

proc remove(archetype: var Archetype; archetypeEntityId: int) {....raises: [],
    tags: [], forbids: [].}

iterator components[T](archetype: Archetype; componentId: ComponentId): T

iterator entities(archetype: Archetype): int {....raises: [KeyError], tags: [],
    forbids: [].}

macro fieldTypes(tup: typed; body: untyped): untyped