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