Library Ltac2.Uint63


Require Import Ltac2.Init.

Ltac2 Type t := uint63.

Ltac2 @ external equal : t -> t -> bool := "coq-core.plugins.ltac2" "uint63_equal".