blob: 9d470b77fc87e7958eb26ac6a5e008a607ef69e6 (
plain)
1
2
3
4
5
6
7
8
9
|
(** Type of a Bourdoncle component. *)
Require Import List.
Require Import BinPos.
Notation node := positive.
Inductive bourdoncle :=
| I : node -> bourdoncle
| L : node -> list bourdoncle -> bourdoncle.
|