Module Safa

module Safa: sig .. end

Symbolic algorithms for language equivalence

module Make: functor (Q : Common.QUEUE) -> sig .. end

Symbolic equivalence check, using queues Q