binsec
Cli.Boot
binsec.amd64decoder
binsec.armv7decoder
binsec.armv8decoder
binsec.smt
binsec.sse
binsec.sse_register
libformula
libterm
val enlist : name:string -> f:(unit -> unit) -> unit
enlist ~name ~f enlists the named unit name to be run at startup with function f.
enlist ~name ~f
name
f
If name has already been reserved, it raises a Failure.
Failure
val run : unit -> unit
run () executes all enlisted startup points.
run ()
The execution order is unspecified.
val maybe_enable : string -> unit
maybe_enable switch tries to find a switch to enable from the command line.
maybe_enable switch