bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Parameter #1 Bap_primus . Std . Primus . Machine . Make . Id . Set . Provide_bin_io . Elt
include Bin_prot.Binable.S with type t := Elt.t
include Bin_prot.Binable.S_only_functions with type t := Elt.t
val bin_size_t : Elt.t Bin_prot.Size.sizer
val bin_write_t : Elt.t Bin_prot.Write.writer
val bin_read_t : Elt.t Bin_prot.Read.reader
val __bin_read_t__ : ( int -> Elt.t ) 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