Lines Matching defs:expect_end
19 val expect_end : ('a, 'b) p -> ('c, 'b) p;
96 fun expect_end (Failed s) = Failed s
97 | expect_end (State ([],v)) = State ([],v)
98 | expect_end (State (_,_)) = Failed "Expected end!";
303 #> e (keyword "begin") #> pack #> expect_end;
304 val parse_theory_end = e (content "end") #> expect_end;
327 expect_end #> pack #> pack >>>
352 #> expect_end >>> DataType
355 #> expect_end >>> Consts
358 #> expect_end >>> Axioms
582 #> ((e (content "end") #> expect_end) |> liftP)
589 #> ((e (content "end") #> expect_end) |> liftP)
597 #> expect_end >> (fn ((((_,h),n),(i,k)),b) =>