
 0 | module Oracle.Internal.Context
 1 | 
 2 | ||| Internal context handle.
 3 | |||
 4 | public export
 5 | record OracleContext where
 6 |   constructor MkOracleContext
 7 |   ptr : AnyPtr
 8 |