Module Interpreted_automata.UnrollUnnatural.G

module G: sig .. end

include Graph.Sig.I
val pretty : t Pretty_utils.formatter