path: root/mathcomp/test_suite/test_guard.v

From mathcomp Require Import all_ssreflect.

Inductive tree := Node { children : seq tree }.

Fixpoint eq_tree (x y : tree) {struct x} : bool :=
  all2 eq_tree (children x) (children y).