Database.VCache.VTx

data VTx a

runVTx

liftSTM

markDurable

markDurableIf

getVTxSpace