package frenetic

  1. Overview
  2. Docs
The Frenetic Programming Language and Runtime System

Install 

dune-project
 Dependency

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

Authors

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

Maintainers

  1. N
    Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz
md5=baf754df13a759c32f2c86a1b6f328da
sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.kernel/Frenetic_kernel/Packet/Tcp/Flags/index.html

Module Tcp.FlagsSource

TCP header flags.

Sourcetype t = {
  1. ns : bool;
    (*

    ECN-nonce concealment protection.

    *)
  2. cwr : bool;
    (*

    Congestion window reduced.

    *)
  3. ece : bool;
    (*

    ECN-Echo.

    *)
  4. urg : bool;
    (*

    Indicates the Urgent pointer field is significant.

    *)
  5. ack : bool;
    (*

    Indicates that the Acknowledgment field is significant.

    *)
  6. psh : bool;
    (*

    Asks to push the buffered data to the receiving application.

    *)
  7. rst : bool;
    (*

    Reset the connection.

    *)
  8. syn : bool;
    (*

    Synchronize sequence numbers.

    *)
  9. fin : bool;
    (*

    No more data from sender.

    *)
}
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