Std.Service
Allow plugins to specify that they can provide IDA service
type t = {
exec : 'a. 'a command -> 'a;
close : unit -> unit;
}
val provide : (string -> t) -> unit
provide creator provides for a service that can perform the roles of Ida.create, Ida.exec, Ida.close.
provide creator
Ida.create
Ida.exec
Ida.close
The creator function accepts a path to a target file and returns an instance of ida service.
creator