Up – Package index » binsec » Library binsec.sse » Se » Sse_screen » Make

Module `Sse_screen.Make`Source

Parameters

module E : Sse_types.EXPLORATION_STATISTICS

module Q : Sse_types.QUERY_STATISTICS

Signature

Sourceval init : unit -> unit

Sourceval release : unit -> unit