[−][src]Type Definition fiat_crypto::p256_64::fiat_p256_i128

type fiat_p256_i128 = i128;