Module Armc


module Armc: sig .. end

module Make: ModelChecker.S