bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE

Parameters

module K : sig ... end

Signature

val t_of_sexp : ( Ppx_sexp_conv_lib.Sexp.t -> 'v_x__001_ ) -> Ppx_sexp_conv_lib.Sexp.t -> 'v_x__001_ t