Idris2Doc : Oracle.Internal.Context

Oracle.Internal.Context

(source)
Definitions
record OracleContext : Type
  Internal context handle.
  

  Totality: total
  Visibility: public export
  Constructor: 
MkOracleContext : AnyPtr -> OracleContext

  Projection: 
.ptr : OracleContext -> AnyPtr
.ptr : OracleContext -> AnyPtr
  Visibility: public export
ptr : OracleContext -> AnyPtr
  Visibility: public export