Up – Package index » binsec » Library binsec.sse » Se » Sse_options » Search_heuristics

Module `Sse_options.Search_heuristics`Source

type t = search_heuristics

val set : t -> unit

val get : unit -> t

val is_default : unit -> bool