sig
  val run :
    ctxt:OASISContext.t ->
    ?f_exit_code:(int -> unit) ->
    ?quote:bool -> OASISTypes.prog -> OASISTypes.args -> unit
  val run_read_output :
    ctxt:OASISContext.t ->
    ?f_exit_code:(int -> unit) ->
    OASISTypes.prog -> OASISTypes.args -> string list
  val run_read_one_line :
    ctxt:OASISContext.t ->
    ?f_exit_code:(int -> unit) ->
    OASISTypes.prog -> OASISTypes.args -> string
end