package frenetic

  1. Overview
  2. Docs
package frenetic
Legend:
Library
Module
Module type
Parameter
Class
Class type

A packet is a map from fields to values.

module Field : sig ... end
module T : sig ... end
include Core.T with type t = int64 Core.Map.M(Field).t
type t = int64 Core.Map.M(Field).t
val empty : t

the packet with no fields

val apply_fdd : Fdd.FDD.t -> t -> Fdd.Action.t
val apply_action : Fdd.Action.t -> t -> Core.Set.M(T).t
val apply_action_seq : Fdd.Value.t Fdd.Action.Seq.t -> t -> t
val eval_e_fdd : Fdd.FDD.t -> t -> Core.Set.M(T).t
val eval_d_fdd : Fdd.FDD.t -> t -> int64 Core.Map.M(T).t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct