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

type fiat_25519_i1 = i8;