
  0 | module Oracle.Internal.Pointer
  1 | 
  2 | ||| Internal connection handle.
  3 | |||
  4 | ||| Wraps a raw dpiConn pointer.
  5 | |||
  6 | public export
  7 | record Connection where
  8 |   constructor MkConnection
  9 |   ptr : AnyPtr
 10 | 
 11 | ||| Internal prepared statement handle.
 12 | |||
 13 | public export
 14 | record Statement where
 15 |   constructor MkStatement
 16 |   ptr : AnyPtr
 17 |