Library Interval.Missing.Int63Compat

Require Export Int63Copy.

Module Int63.
Notation of_pos := of_pos (only parsing).
Notation of_Z := of_Z (only parsing).
Notation of_Z_spec := of_Z_spec (only parsing).
Notation to_Z := to_Z (only parsing).
Notation to_Z_bounded := to_Z_bounded (only parsing).
Notation to_Z_inj := to_Z_inj (only parsing).
Notation to_Z_1 := to_Z_1 (only parsing).
Notation leb := leb (only parsing).
Notation eqb := eqb (only parsing).
Notation eqbP := eqbP (only parsing).
Notation add_spec := add_spec (only parsing).
Notation sub_spec := sub_spec (only parsing).
Notation land_spec' := land_spec' (only parsing).
End Int63.