package frenetic
The Frenetic Programming Language and Runtime System
Install
Dune Dependency
Authors
Maintainers
Sources
5.0.5.tar.gz
md5=baf754df13a759c32f2c86a1b6f328da
sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29
doc/frenetic.netkat/Frenetic_netkat/Fdd/Action/Seq/Provide_bin_io/argument-1-Key/index.html
Parameter Provide_bin_io.Key
val bin_size_t : Key.t Bin_prot.Size.sizerval bin_write_t : Key.t Bin_prot.Write.writerval bin_read_t : Key.t Bin_prot.Read.readerval __bin_read_t__ : (int -> Key.t) Bin_prot.Read.readerval bin_shape_t : Bin_prot.Shape.tval bin_writer_t : Key.t Bin_prot.Type_class.writerval bin_reader_t : Key.t Bin_prot.Type_class.readerval bin_t : Key.t Bin_prot.Type_class.t