Codex_options.Hooks
type t = string list
val set : t -> unit
val is_set : unit -> bool
val is_default : unit -> bool
val get : unit -> (Binsec.Virtual_address.t * [> `explore | `nop | `return_unknown of Types.Ctypes.typ | `skip_to of Binsec.Virtual_address.t | `stop ]) list