package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

The Frenetic Programming Language and Runtime System

Install

md5=baf754df13a759c32f2c86a1b6f328da

sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

A packet is a map from fields to values.

Sourcemodule Field : sig ... end

Sourcemodule T : sig ... end

include Core.T with type t = int64 Core.Map.M(Field).t

Sourcetype t = int64 Core.Map.M(Field).t

Sourceval empty : t

the packet with no fields

Sourceval apply_fdd : Fdd.FDD.t -> t -> Fdd.Action.t

Sourceval apply_action : Fdd.Action.t -> t -> Core.Set.M(T).t

Sourceval apply_action_seq : Fdd.Value.t Fdd.Action.Seq.t -> t -> t

Sourceval eval_e_fdd : Fdd.FDD.t -> t -> Core.Set.M(T).t

Sourceval eval_d_fdd : Fdd.FDD.t -> t -> int64 Core.Map.M(T).t