47   Sequ ("_ @ _" [78,77] 63) and

    47   Sequ ("_ @ _" [78,77] 63) and

    48   injval ("inj _ _ _" [79,77,79] 76) and 

    48   injval ("inj _ _ _" [79,77,79] 76) and 

    49   mkeps ("mkeps _" [79] 76) and 

    49   mkeps ("mkeps _" [79] 76) and 

    50   length ("len _" [73] 73) and

    50   length ("len _" [73] 73) and

    51  

    51  

    53   Posix ("'(_, _') \<rightarrow> _" [63,75,75] 75) and

    53   Posix ("'(_, _') \<rightarrow> _" [63,75,75] 75) and

    54  

    54  

    55   lexer ("lexer _ _" [78,78] 77) and 

    55   lexer ("lexer _ _" [78,78] 77) and 

    56   F_RIGHT ("F\<^bsub>Right\<^esub> _") and

    56   F_RIGHT ("F\<^bsub>Right\<^esub> _") and

    57   F_LEFT ("F\<^bsub>Left\<^esub> _") and  

    57   F_LEFT ("F\<^bsub>Left\<^esub> _") and