Up
—
package
frenetic.netkat
Parameter
Frenetic_netkat__Fdd.Action.Par.Provide_hash.1-Elt
val
hash_fold_t : Base__.Hash.state
‑>
Elt
.t
‑>
Base__.Hash.state