[−][src]Type Definition fiat_crypto::curve25519_64::fiat_25519_i128

type fiat_25519_i128 = i128;