···

       
145
       
 
       
    in fix g

     

       
146
       
 
       
    ```

     

       
147
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
148
       
 
       
    :::{.example}

     

       
149
       
 
       


     

       
150
       
 
       
    # Extend a fixed-point function with an overlay

     
···

       
230
       
 
       


     

       
231
       
 
       
      fix (extends (final: prev: { c = final.a + final.b; }) f)

     

       
232
       
 
       
      => { a = 1; b = 3; c = 4; }

     

       
233
       
-
       


     

       
234
       
-
       
    :::{.note}

     

       
235
       
-
       
    The argument to the given fixed-point function after applying an overlay will *not* refer to its own return value, but rather to the value after evaluating the overlay function.

     

       
236
       
-
       


     

       
237
       
-
       
    The given fixed-point function is called with a separate argument than if it was evaluated with `lib.fix`.

     

       
238
       
-
       
    The new argument

     

       
239
       
-
       
    :::

     

       
240
       
 
       
  */

     

       
241
       
 
       
  extends =

     

       
242
       
 
       
    # The overlay to apply to the fixed-point function

     

···

       
145
       
 
       
    in fix g

     

       
146
       
 
       
    ```

     

       
147
       
 
       


     

       
148
       
+
       
    :::{.note}

     

       
149
       
+
       
    The argument to the given fixed-point function after applying an overlay will *not* refer to its own return value, but rather to the value after evaluating the overlay function.

     

       
150
       
+
       


     

       
151
       
+
       
    The given fixed-point function is called with a separate argument than if it was evaluated with `lib.fix`.

     

       
152
       
+
       
    :::

     

       
153
       
+
       


     

       
154
       
 
       
    :::{.example}

     

       
155
       
 
       


     

       
156
       
 
       
    # Extend a fixed-point function with an overlay

     
···

       
236
       
 
       


     

       
237
       
 
       
      fix (extends (final: prev: { c = final.a + final.b; }) f)

     

       
238
       
 
       
      => { a = 1; b = 3; c = 4; }

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
239
       
 
       
  */

     

       
240
       
 
       
  extends =

     

       
241
       
 
       
    # The overlay to apply to the fixed-point function