Library zoo.ltac2.Array

Require Export Ltac2.Array.
Require Export Ltac2.Init.

Require Import zoo.prelude.
Require Import zoo.options.

Ltac2 foldr :=
  fold_right.

Ltac2 foldl :=
  fold_left.