Documentation

keccakAssumptions :: [Prop] -> [Expr Buf] -> [Expr Storage] -> [Prop] Source #

keccakCompute :: [Prop] -> [Expr Buf] -> [Expr Storage] -> [Prop] Source #