2 module R = RecommPcsAnd
4 let step k st outs ins =
5 if st <> T.OO then k st outs ins else
7 | "stream_eq" :: tl -> k T.OK ("stream_eq" :: outs) tl
8 | "ctc" :: tl -> k T.OK ("ctc" :: outs) tl
9 | "contextual" :: "transitive" :: "closure" :: tl -> k T.OK ("ctc" :: outs) tl
10 | "compose" :: tl -> k T.OK ("compose" :: outs) tl
11 | "function" :: "composition" :: tl -> k T.OK ("compose" :: outs) tl
12 | "lsub" :: tl -> k T.OK ("lsub" :: outs) tl
13 | "land" :: tl -> k T.OK ("land" :: outs) tl
14 | "eq" :: tl -> k T.OK ("eq" :: outs) tl
15 | "ex4" :: tl -> k T.OK ("ex4" :: outs) tl
16 | _ -> k T.OO outs ins