Spidr.Compiler.LLVM.Support.RawOStream

For internal spidr use only.

Definitions

data RawStringOStream : Type

Totality: total
Visibility: public export
Constructor: 

MkRawStringOStream : GCAnyPtr -> RawStringOStream

rawStringOStream : HasIO io => CppString -> io RawStringOStream

Totality: total
Visibility: export