Module Oracle

module Oracle: sig .. end

module type S = sig .. end