Library Ltac2.Compat.Coq818

Require Export Ltac2.Compat.Coq819.

Require Ltac2.Array.

Module Export Ltac2.
  Module Array.
    Export Ltac2.Array.
    Ltac2 empty () := empty.
  End Array.
End Ltac2.