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

type fiat_25519_u128 = u128;