package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

The Frenetic Programming Language and Runtime System

Install

dune-project

Dependency

frenetic-lang.org Readme Edit opam file Versions (1)

Authors

A

Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>

Maintainers

N

Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz

md5=baf754df13a759c32f2c86a1b6f328da

sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.netkat/Frenetic_netkat/Semantics/HeadersValues/index.html

Module `Semantics.HeadersValues`Source

A map keyed by header names.

Sourcetype t = {

location : Syntax.location;
from : Syntax.abstract_location;
abstractLoc : Syntax.abstract_location;
ethSrc : Frenetic_kernel.Packet.dlAddr;
ethDst : Frenetic_kernel.Packet.dlAddr;
vlan : Frenetic_kernel.Packet.int16;
vlanPcp : Frenetic_kernel.Packet.dlVlanPcp;
vswitch : int64;
vport : int64;
ethType : Frenetic_kernel.Packet.dlTyp;
ipProto : Frenetic_kernel.Packet.nwProto;
ipSrc : Frenetic_kernel.Packet.nwAddr;
ipDst : Frenetic_kernel.Packet.nwAddr;
tcpSrcPort : Frenetic_kernel.Packet.tpPort;
tcpDstPort : Frenetic_kernel.Packet.tpPort;

}

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

Sourceval t_of_sexp : Sexplib0__.Sexp.t -> t

Sourceval sexp_of_t : t -> Sexplib0__.Sexp.t

Sourceval tcpDstPort : t -> Frenetic_kernel.Packet.tpPort

Sourceval tcpSrcPort : t -> Frenetic_kernel.Packet.tpPort

Sourceval ipDst : t -> Frenetic_kernel.Packet.nwAddr

Sourceval ipSrc : t -> Frenetic_kernel.Packet.nwAddr

Sourceval ipProto : t -> Frenetic_kernel.Packet.nwProto

Sourceval ethType : t -> Frenetic_kernel.Packet.dlTyp

Sourceval vport : t -> int64

Sourceval vswitch : t -> int64

Sourceval vlanPcp : t -> Frenetic_kernel.Packet.dlVlanPcp

Sourceval vlan : t -> Frenetic_kernel.Packet.int16

Sourceval ethDst : t -> Frenetic_kernel.Packet.dlAddr

Sourceval ethSrc : t -> Frenetic_kernel.Packet.dlAddr

Sourceval abstractLoc : t -> Syntax.abstract_location

Sourceval from : t -> Syntax.abstract_location

Sourceval location : t -> Syntax.location

Sourcemodule Fields : sig ... end

Sourceval compare : t -> t -> int

Sourceval to_string : t -> string

Sourceval to_hvs : t -> Syntax.header_val list