Library zoo.ltac2.Array

From Ltac2 Require Export
  Array
  Init.

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

Ltac2 foldr :=
  fold_right.

Ltac2 foldl :=
  fold_left.