val dummy: Prims.unit
  -> St (option string * FStar.Error.optResult string unit * FStar.Tcp.recv_result 0)
val dummy: Prims.unit
  -> St (option string * FStar.Error.optResult string unit * FStar.Tcp.recv_result 0)
let dummy (): St (
  // This one needed by KaRaMeL FStar.Bytes
  option string *
  // These two needed by transport.h
  FStar.Error.optResult string unit *
  FStar.Tcp.recv_result 0
) =
  Some "",
  FStar.Error.Correct (),
  FStar.Tcp.RecvWouldBlock
module MiTLS.FStar.Test
open MiTLS

open FStar.HyperStack.ST
open FStar.HyperStack.IO

(* Force enough monomorphizations to appear in FStar.h so that hand-written headers have the right
/
prims.fst.checked FStar.Tcp.fsti.checked FStar.Pervasives.Native.fst.checked FStar.Pervasives.fsti.checked FStar.HyperStack.ST.fsti.checked FStar.HyperStack.IO.fst.checked FStar.Error.fst.checked
MiTLS.FStar.Test.fst
_: Prims.unit
  -> FStar.HyperStack.ST.St
    ((FStar.Pervasives.Native.option Prims.string * FStar.Error.optResult Prims.string Prims.unit) *
      FStar.Tcp.recv_result 0)
Prims.unit FStar.Pervasives.Native.Mktuple3 FStar.Pervasives.Native.option Prims.string FStar.Error.optResult FStar.Tcp.recv_result FStar.Pervasives.Native.Some FStar.Error.Correct FStar.Tcp.RecvWouldBlock FStar.Pervasives.Native.tuple3
let dummy () : St (option string * FStar.Error.optResult string unit * FStar.Tcp.recv_result 0) =
  
Some "", FStar.Error.Correct (), FStar.Tcp.RecvWouldBlock