Peano 4
Loading...
Searching...
No Matches
peano4.Project Namespace Reference

Data Structures

class  Project
 Represents a Peano 4 project. More...
 

Functions

 merge (Project lhs, Project rhs)
 Merges two Peano 4 projects.
 

Function Documentation

◆ merge()

peano4.Project.merge ( Project lhs,
Project rhs )

Merges two Peano 4 projects.

Definition at line 268 of file Project.py.