package frenetic

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

Install

Dune 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.netkat/Frenetic_netkat/Tokens/index.html

Module Frenetic_netkat.TokensSource

Sourcetype token =
  1. | WHILE
  2. | VSWITCH
  3. | VPORT
  4. | VLANPCP
  5. | VLAN
  6. | VFABRIC
  7. | VAR
  8. | TRUE
  9. | THEN
  10. | TCPSRCPORT
  11. | TCPDSTPORT
  12. | SWITCH
  13. | STRING of string
  14. | STAR
  15. | SLASH
  16. | SEMICOLON
  17. | RPAR
  18. | QUERY
  19. | PORT
  20. | PLUS
  21. | PIPE
  22. | OR
  23. | NOT
  24. | METAID of string
  25. | MAC of string
  26. | LPAR
  27. | LET
  28. | IVERSON of string * Location.t
  29. | IPPROTO
  30. | IP4SRC
  31. | IP4DST
  32. | IP4ADDR of string
  33. | INT of string
  34. | IN
  35. | IF
  36. | ID
  37. | FROM
  38. | FILTER
  39. | FALSE
  40. | ETHTYPE
  41. | ETHSRC
  42. | ETHDST
  43. | EQUALS
  44. | EOF
  45. | END
  46. | ELSE
  47. | DUP
  48. | DROP
  49. | DO
  50. | BEGIN
  51. | AT
  52. | ASSIGN
  53. | ANTIQ of string * Location.t
  54. | AND
  55. | ABSTRACTLOC
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet 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