Typechecked:
AbsBinds [] [] [(t_source_pos.t2, Lexer_Ops.t_source_pos)]
    {- nonrec -}
    t_source_pos.t2 ::
	(Source_Position.Source_Position -> Source_Position.Source_Position)
	-> Lexer_State.Lexer_State -> ((), Lexer_State.Lexer_State)
    t_source_pos.t2
	transformer.r49
		= (Lexer_Combinators.and_with
		       [Source_Position.Source_Position, ()])
		      Lexer_State.p_source_pos
		      (\ pos.r50 -> Lexer_State.i_source_pos
					(transformer.r49 pos.r50))
AbsBinds [] [] [(t_buffer.t11, Lexer_Ops.t_buffer)]
    {- nonrec -}
    t_buffer.t11 ::
	(Lexer_Buffer.Lexer_Buffer -> Lexer_Buffer.Lexer_Buffer)
	-> Lexer_State.Lexer_State -> ((), Lexer_State.Lexer_State)
    t_buffer.t11
	transformer.r51
		= (Lexer_Combinators.and_with [Lexer_Buffer.Lexer_Buffer, ()])
		      Lexer_State.p_buffer
		      (\ buff.r52 -> Lexer_State.i_buffer
					 (transformer.r51 buff.r52))
AbsBinds [] [] [(buffer_len.t20, Lexer_Ops.buffer_len)]
    {- nonrec -}
    buffer_len.t20 :: Lexer_State.Lexer_State -> (Int, Lexer_State.Lexer_State)
    buffer_len.t20
	= (Lexer_Combinators.and_with [Lexer_Buffer.Lexer_Buffer, Int])
	      Lexer_State.p_buffer
	      (\ buff.r53 -> (Lexer_Combinators.return Int)
				 (Lexer_Buffer.len buff.r53))
AbsBinds [] [] [(decimal_to_int.t28, Lexer_Ops.decimal_to_int)]
    {- nonrec -}
    decimal_to_int.t28 ::
	Lexer_State.Lexer_State
	-> (Oberon_Integer.Oberon_Integer, Lexer_State.Lexer_State)
    decimal_to_int.t28
	= (Lexer_Combinators.and_with
	       [Lexer_Buffer.Lexer_Buffer, Oberon_Integer.Oberon_Integer])
	      Lexer_State.p_buffer
	      (\ buff.r54 -> (Lexer_Combinators.return
				  Oberon_Integer.Oberon_Integer)
				 (Oberon_Integer.from_decimal_string
				      (Lexer_Buffer.to_string buff.r54)))
AbsBinds [] [] [(flush_buffer.t36, Lexer_Ops.flush_buffer)]
    {- nonrec -}
    flush_buffer.t36 :: Lexer_State.Lexer_State -> ((), Lexer_State.Lexer_State)
    flush_buffer.t36 = Lexer_Ops.t_buffer Lexer_Buffer.flush
AbsBinds [] [] [(hex_to_int.t39, Lexer_Ops.hex_to_int)]
    {- nonrec -}
    hex_to_int.t39 ::
	Lexer_State.Lexer_State
	-> (Oberon_Integer.Oberon_Integer, Lexer_State.Lexer_State)
    hex_to_int.t39
	= (Lexer_Combinators.and_with
	       [Lexer_Buffer.Lexer_Buffer, Oberon_Integer.Oberon_Integer])
	      Lexer_State.p_buffer
	      (\ buff.r55 -> (Lexer_Combinators.return
				  Oberon_Integer.Oberon_Integer)
				 (Oberon_Integer.from_hex_string
				      (Lexer_Buffer.to_string buff.r55)))
AbsBinds [] [] [(move_input_column.t47, Lexer_Ops.move_input_column)]
    {- nonrec -}
    move_input_column.t47 :: Int -> Lexer_State.Lexer_Action ()
    move_input_column.t47
	dist.r56 = Lexer_Ops.t_source_pos
		       ((flip [Source_Position.Source_Position,
			       Int,
			       Source_Position.Source_Position])
			    Source_Position.shift_column dist.r56)
AbsBinds [] [] [(next_input_line.t54, Lexer_Ops.next_input_line)]
    {- nonrec -}
    next_input_line.t54 ::
	Lexer_State.Lexer_State -> ((), Lexer_State.Lexer_State)
    next_input_line.t54 = Lexer_Ops.t_source_pos Source_Position.next_line
AbsBinds [] [] [(store_char.t57, Lexer_Ops.store_char)]
    {- nonrec -}
    store_char.t57 :: Char -> Lexer_State.Lexer_Action ()
    store_char.t57
	c.r57 = Lexer_Ops.t_buffer (Lexer_Buffer.add c.r57)
AbsBinds [] [] [(to_char.t61, Lexer_Ops.to_char)]
    (toInteger.t79, int2Integer)
    {- nonrec -}
    to_char.t61 ::
	Lexer_State.Lexer_State
	-> (Oberon_Integer.Oberon_Integer, Lexer_State.Lexer_State)
    to_char.t61
	= (Lexer_Combinators.and_with
	       [Lexer_Buffer.Lexer_Buffer, Oberon_Integer.Oberon_Integer])
	      Lexer_State.p_buffer
	      (\ buff.r58 -> (Lexer_Combinators.return
				  Oberon_Integer.Oberon_Integer)
				 ((((.) [Lexer_Buffer.Lexer_Buffer,
					 [Char],
					 Oberon_Integer.Oberon_Integer])
				       (((.) [[Char],
					      Char,
					      Oberon_Integer.Oberon_Integer])
					    (((.) [Char,
						   Int,
						   Oberon_Integer.Oberon_Integer])
						 (((.) [Int,
							Integer,
							Oberon_Integer.Oberon_Integer])
						      Oberon_Integer.from_int
						      toInteger.t79)
						 ord)
					    (head Char))
				       Lexer_Buffer.to_string) buff.r58))
AbsBinds [] [] [(to_id.t88, Lexer_Ops.to_id)]
    {- nonrec -}
    to_id.t88 ::
	Lexer_State.Lexer_State
	-> (Oberon_Id.Oberon_Id, Lexer_State.Lexer_State)
    to_id.t88
	= (Lexer_Combinators.and_with
	       [Lexer_Buffer.Lexer_Buffer, Oberon_Id.Oberon_Id])
	      Lexer_State.p_buffer
	      (\ buff.r59 -> (Lexer_Combinators.return Oberon_Id.Oberon_Id)
				 (Oberon_Id.from_string
				      (Lexer_Buffer.to_string buff.r59)))
AbsBinds [] [] [(to_real.t96, Lexer_Ops.to_real)]
    {- nonrec -}
    to_real.t96 ::
	Lexer_State.Lexer_State
	-> (Oberon_Real.Oberon_Real, Lexer_State.Lexer_State)
    to_real.t96
	= (Lexer_Combinators.and_with
	       [Lexer_Buffer.Lexer_Buffer, Oberon_Real.Oberon_Real])
	      Lexer_State.p_buffer
	      (\ buff.r60 -> (Lexer_Combinators.return Oberon_Real.Oberon_Real)
				 (Oberon_Real.from_string
				      (Lexer_Buffer.to_string buff.r60)))
AbsBinds [] [] [(to_string.t104, Lexer_Ops.to_string)]
    {- nonrec -}
    to_string.t104 ::
	Lexer_State.Lexer_State
	-> (Oberon_String.Oberon_String, Lexer_State.Lexer_State)
    to_string.t104
	= (Lexer_Combinators.and_with
	       [Lexer_Buffer.Lexer_Buffer, Oberon_String.Oberon_String])
	      Lexer_State.p_buffer
	      (\ buff.r61 -> (Lexer_Combinators.return
				  Oberon_String.Oberon_String)
				 (Oberon_String.from_string
				      (Lexer_Buffer.to_string buff.r61)))