Module Extended_nativeint

module Extended_nativeint: sig .. end

include Number.Verified_std