Documentation

type SRAutomaton e s r m = (Stack s e, RAM r e, Evaluator e m) #

type REvaluator e r m = (RAM r e, Evaluator e m) #

type SEvaluator e s m = (Stack s e, Evaluator e m) #

type Evaluator e m = (Element e, BIO m) #