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/Fdd/Action/Par/Provide_bin_io/index.html

Module Par.Provide_bin_io

Parameters

module Elt : sig ... end

Signature

val bin_size_t : t Bin_prot.Size.sizer
val bin_write_t : t Bin_prot.Write.writer
val bin_read_t : t Bin_prot.Read.reader
val __bin_read_t__ : (int -> t) Bin_prot.Read.reader
val bin_shape_t : Bin_prot.Shape.t
val bin_writer_t : t Bin_prot.Type_class.writer
val bin_reader_t : t Bin_prot.Type_class.reader