proc generateConstructor(typeName: NimNode; formalParams: NimNode;
                         defaultStatements: NimNode; constructorBody: NimNode): NimNode {...}{.
    raises: [ValueError, Exception], tags: [RootEffect].}

proc generateFormalParams(typeName: NimNode; constructorSignature: NimNode;
                          startingParams: NimNode = nil): NimNode {...}{.
    raises: [Exception], tags: [RootEffect].}

proc generateTypeDefinition(typeName: NimNode; statements: NimNode;
                            parentTypeName: string): NimNode {...}{.
    raises: [ValueError, Exception], tags: [RootEffect].}

proc generateInit(typeName: NimNode; initDefinition: NimNode;
                  defaultStatements: NimNode;
                  lockLevel: NimNode = knownLockLevel(0)): NimNode {...}{.
    raises: [Exception], tags: [RootEffect].}

proc generateDestructor(typeName: NimNode; destructorDefinition: NimNode;
                        defaultStatements: NimNode = newEmptyNode()): NimNode {...}{.
    raises: [ValueError, Exception], tags: [RootEffect].}

func knownLockLevel(level: BiggestInt): NimNode {...}{.raises: [], tags: [].}

func unknownLockLevel(): NimNode {...}{.raises: [], tags: [].}