Up
—
package
frenetic.netkat
Parameter
Frenetic_netkat.Fdd.Action.Seq.Provide_of_sexp.1-Key
val
t_of_sexp : Ppx_sexp_conv_lib.Sexp.t
‑>
Key
.t