module Terminal: sig .. end
sig
end
The terminal graph.
module V: Alphabet.Unit
Alphabet.Unit
module E: Alphabet.Unit
val src : unit -> unit
unit -> unit
val tgt : unit -> unit