sig
  type t = { oasis_cmd : OASISTypes.prog; }
  val update_and_run : BaseDev.t -> unit
  val make :
    ?oasis_exec:string ->
    OASISPlugin.context_act ->
    OASISTypes.package -> OASISPlugin.context_act * BaseDev.t
  val odn_of_t : BaseDev.t -> ODN.t
end