Library Ltac2.Compat.Coq818

Require Ltac2.Array.

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