src/bourdoncle/Bourdoncle.v


1
2
3
4
5
6
7
8
9
10
11

(*|
Type of a Bourdoncle component.
|*)

Require Import List.
Require Import BinPos.
Notation node := positive.

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