Searched defs:power (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/examples/elliptic/
H A DAlgebra.sig34 val power : expression * int -> expression value
H A DAlgebra.sml200 fun power e_n = mkProd (explCons e_n explEmpty); function
/seL4-l4v-master/HOL4/polyml/basis/
H A DIntInf.sml99 fun power(acc: LargeInt.int, _, 0w0) = acc function

Completed in 154 milliseconds