public posetNode(posetEdge l = default, posetEdge r = default) { this.l = l; this.r = r; }
public posetUndo(undoType typ = default, uint idx = default, ID ID = default, posetEdge edge = default) { this.typ = typ; this.idx = idx; this.ID = ID; this.edge = edge; }