prelude: :gerbil/compiler/ssxi
package: std/misc

(begin
  (declare-type std/misc/process#check-process-success (@lambda 2 #f))
  (declare-type std/misc/process#run-process__% (@lambda 11 #f))
  (declare-type
   std/misc/process#run-process__@
   (@kw-lambda-dispatch
    (coprocess:
     check-status:
     environment:
     directory:
     stdin-redirection:
     stdout-redirection:
     stderr-redirection:
     pseudo-terminal:
     show-console:)
    std/misc/process#run-process__%))
  (declare-type
   std/misc/process#run-process
   (@kw-lambda
    (stdout-redirection:
     stdin-redirection:
     stderr-redirection:
     directory:
     environment:
     pseudo-terminal:
     show-console:
     coprocess:
     check-status:)
    std/misc/process#run-process__@))
  (declare-type std/misc/process#run-process/batch (@lambda 1 #f)))
