Idris2Doc : Compiler.MLIR.IR.BuiltinLocationAttributes

Compiler.MLIR.IR.BuiltinLocationAttributes

For internal spidr use only.

Definitions

get : HasIOio=>MLIRContext->ioLocation
Totality: total
Visibility: export