vericert.bourdoncle.Bourdoncle

Type of a Bourdoncle component.

Notation node := positive.

Inductive bourdoncle :=
| I : node -> bourdoncle
| L : node -> list bourdoncle -> bourdoncle.