[−][src]Type Definition fiat_crypto::p434_64::fiat_p434_i1

type fiat_p434_i1 = i8;