src/bourdoncle/Bourdoncle.v


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.