module Common: sig .. end
sig
end
module EdosSolver: sig .. end
module CudfSolver: sig .. end
module Input: sig .. end
module Util: sig .. end
module CudfAdd: sig .. end
module CudfDiff: sig .. end
module Url: sig .. end
module Criteria: sig .. end