bap-primus

The BAP Microexecution Framework
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library bap_primus
Parameter #1 Bap_primus . Std . Primus . Value . Hash_set . Provide_bin_io . X
include Bin_prot.Binable.S with type t := elt
include Bin_prot.Binable.S_only_functions with type t := elt
val bin_size_t : elt Bin_prot.Size.sizer
val bin_write_t : elt Bin_prot.Write.writer
val bin_read_t : elt Bin_prot.Read.reader
val __bin_read_t__ : ( int -> elt ) Bin_prot.Read.reader

This function only needs implementation if t exposed to be a polymorphic variant. Despite what the type reads, this does *not* produce a function after reading; instead it takes the constructor tag (int) before reading and reads the rest of the variant t afterwards.

val bin_shape_t : Bin_prot.Shape.t
val bin_writer_t : elt Bin_prot.Type_class.writer
val bin_reader_t : elt Bin_prot.Type_class.reader