🡠 bap-primus

The BAP Microexecution Framework
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library bap_primus
Module type Bap_primus . Std . Primus . Machine . Component

Parameters

module Machine : S

Signature

val init : unit -> unit Machine.t

init () component initialization function.