blob: ef1798ad9e2a754df778aa129459a6dda4d7d66b (
plain)
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.
|