🡠 bap-primus

The BAP Microexecution Framework
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library bap_primus

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