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 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/src/frenetic.netkat/Tokens.ml.html

Source file `Tokens.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59

type token = 
  | WHILE
  | VSWITCH
  | VPORT
  | VLINK
  | VLANPCP
  | VLAN
  | VFABRIC
  | VAR
  | TRUE
  | THEN
  | TCPSRCPORT
  | TCPDSTPORT
  | SWITCH
  | STRING of (string)
  | STAR
  | SLASH
  | SEMICOLON
  | RPAR
  | QUERY
  | PORT
  | PLUS
  | PIPE
  | OR
  | NOT
  | METAID of (string)
  | MAC of (string)
  | LPAR
  | LINK
  | LET
  | IVERSON of (string * Location.t)
  | IPPROTO
  | IP4SRC
  | IP4DST
  | IP4ADDR of (string)
  | INT of (string)
  | IN
  | IF
  | ID
  | FROM
  | FILTER
  | FALSE
  | ETHTYPE
  | ETHSRC
  | ETHDST
  | EQUALS
  | EOF
  | END
  | ELSE
  | DUP
  | DROP
  | DO
  | BEGIN
  | AT
  | ASSIGN
  | ANTIQ of (string * Location.t)
  | AND
  | ABSTRACTLOC

package frenetic

Install

Dune Dependency

Authors

Maintainers

Sources

doc/src/frenetic.netkat/Tokens.ml.html

Source file Tokens.ml

Source file `Tokens.ml`