xref: /seL4-l4v-master/HOL4/src/opentheory/logging/Curl.sig

signature Curl = sig
  val submitFile : {url : string, field : string, file : string} -> TextIO.instream
end