Module Std.Service

Allow plugins to specify that they can provide IDA service

type t = {
  1. exec : 'a. 'a command -> 'a;
  2. 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.