Previous Up Next

Module Reins.OracleList

module OracleList: sig .. end

List ADT which captures a DUG as a side effect

include Reins.DugADT.S