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.netkat/Frenetic_netkat/Vlr/Make/argument-3-R/index.html

Parameter Make.R

include HashCmp
type t
val equal : t -> t -> Ppx_deriving_runtime.bool
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
val compare : t -> t -> int
val to_string : t -> string
val sum : t -> t -> t

An associative and commutative binary operation over the type t. The following should hold:

  • sum a (sum b c) = sum (sum a b) c.
  • sum a b = sum b a.
val prod : t -> t -> t

An associative binary operation over the type t. The following should hold:

  • prod a (prod b c) = prod (prod a b) c.
  • prod a (sum b c) = sum (prod a b) (prod a c).
val one : t

The identity for the prod operation. The following should hold:

  • prod one t = t.
  • prod t one = t.

As an example, if t where the type bool and prod and sum were && and ||, respectively, then one should be the value true.

val zero : t

The identity for the sum operation. The following should hold:

  • sum zero t = t.
  • sum t zero = t.
  • prod zero t = zero.
  • prod t zero = zero.

As an example, if t where the type bool and prod and sum were && and ||, respectively, then zero should be the value false.