fact: Example micro_nibble_power_of_two__intrinsic : ParametricExtraction #vars x #program ret (nibble_power_of_two_p (x ⊕ 1)) #arguments [[`"x" ->> x as _]] :: Nil #env Microbenchmarks_Env ### ("intrinsics", "nibble_pow2") ->> (Axiomatic (FacadeImplementationWW _ nibble_power_of_two_p)).
imports: CertifiedExtraction.Benchmarks.MicrobenchmarksSetup