Up – Package index » binsec » Library binsec.sse » Libsse » Screen » Make

Module `Screen.Make`Source

Parameters

module E : Types.EXPLORATION_STATISTICS

module Q : Types.QUERY_STATISTICS

Signature

Sourceval init : unit -> unit

Sourceval release : unit -> unit