Require Import Arith.
Require Import Lia.
Require Import List.

Inductive btree (A:Set) : Set :=
| empty : (btree A)
| node : (btree A) -> A -> (btree A) -> (btree A).

(* A est défini comme étant implicite *)
Arguments empty {A}.
Arguments node {A} _ _ _.