1 definition module testOption
5 Radboud Universty, Nijmegen
10 import MersenneTwister, confSM, StdMaybe
18 | InputFun (RandomStream s -> [i])
20 | FSM [i] (s->[i]) // inputs state_identification
23 | SwitchSpec (Spec s i o)
27 | Inconsistent ([o] [s] -> Maybe [String])