Idris2Doc : Spidr.Compiler.MLIR.IR.BuiltinLocationAttributes

Spidr.Compiler.MLIR.IR.BuiltinLocationAttributes

(source)
For internal spidr use only.

Definitions

get : HasIO io => MLIRContext -> io Location
Totality: total
Visibility: export