Module Interpreted_automata.WTO

module WTO: sig .. end

Datatype for WTOs


include ??
include Datatype.S