Module Interpreted_automata.WTO

module WTO: sig .. end

include ??
include Datatype.S