Lines Matching refs:MyStack

70 open MyStack
97 and stack_env = MyStack.create "stack_env"
103 let stack_env_pretty () =  MyStack.pretty (fun (x,_,_) -> x) stack_env
153   if MyStack.empty stack_env then begin
156     let _,_,pos = MyStack.pop stack_env in
195       (string * (unit -> unit) list * Location.t) MyStack.saved
197 let env_check () = !cur_env, !after, MyStack.save stack_env
202   MyStack.restore stack_env s
245 and stack_format = MyStack.create "stack_format"
247 and stack_col = MyStack.create "stack_col"
249 and stack_table = MyStack.create_init "stack_table" NoTable
252 and stack_first = MyStack.create "stack_first"
253 and stack_first_b = MyStack.create "stack_first_b"
255 and stack_multi_flag = MyStack.create "stack_multi_flag"
256 and stack_multi = MyStack.create "stack_multi"
759 let stack_entry = MyStack.create "stack_entry"
760 and stack_out = MyStack.create  "stack_out"
800   if not (MyStack.empty stack_out) then begin
802     while not (MyStack.empty stack_out) do
868               MyStack.push stack_alltt old_alltt ;        
878               let _ =  MyStack.pop stack_alltt in
1102               alltt := MyStack.pop stack_alltt ;
1105               MyStack.push stack_alltt old_alltt)
2222   MyStack.push stack_display dprev ;
2250   let dprev = MyStack.pop stack_display in
2532 let styles_stack = MyStack.create "styles"
2538     MyStack.push styles_stack envs) ;
2542      let envs = MyStack.pop styles_stack in
3021     else if not (MyStack.empty stack_env) then
3306 let stack_closed = MyStack.create "stack_closed"