Type Definition timi::machine::MachineError [] [src]

type MachineError = String;

represents an error during the execution of the machine