Module Imandra_util.Popen

Full API for sub-processes

type t = {
stdin : Stdlib.out_channel;
stdout : Stdlib.in_channel;
stderr : Stdlib.in_channel;
pid : int;
}

A sub-process

val run : ?⁠env:string array -> string -> t

Run subprocess with given command

val wait : t -> int
val kill : t -> unit