Module 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.

The creator function accepts a path to a target file and returns an instance of ida service.