···

       
70
       
 
       
  min = x: y: if x < y then x else y;

     

       
71
       
 
       
  max = x: y: if x > y then x else y;

     

       
72
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
73
       
 
       
  /* Reads a JSON file. */

     

       
74
       
 
       
  importJSON = path:

     

       
75
       
 
       
    builtins.fromJSON (builtins.readFile path);

     

···

       
70
       
 
       
  min = x: y: if x < y then x else y;

     

       
71
       
 
       
  max = x: y: if x > y then x else y;

     

       
72
       
 
       


     

       
73
       
+
       
  /* Integer modulus

     

       
74
       
+
       


     

       
75
       
+
       
     Example:

     

       
76
       
+
       
       mod 11 10

     

       
77
       
+
       
       => 1

     

       
78
       
+
       
       mod 1 10

     

       
79
       
+
       
       => 1

     

       
80
       
+
       
  */

     

       
81
       
+
       
  mod = base: int: base - (int * (builtins.div base int));

     

       
82
       
+
       


     

       
83
       
 
       
  /* Reads a JSON file. */

     

       
84
       
 
       
  importJSON = path:

     

       
85
       
 
       
    builtins.fromJSON (builtins.readFile path);