Changeset 2775 for extracted/arithmetic.ml
 Timestamp:
 Mar 5, 2013, 9:52:39 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/arithmetic.ml
r2773 r2775 297 297 (** val fbs_diff_rect_Type4 : 298 298 (Nat.nat > Nat.nat > 'a1) > Nat.nat > fbs_diff > 'a1 **) 299 let rec fbs_diff_rect_Type4 h_fbs_diff' x_1 836= function299 let rec fbs_diff_rect_Type4 h_fbs_diff' x_1368 = function 300 300  Fbs_diff' (n, m) > h_fbs_diff' n m 301 301 302 302 (** val fbs_diff_rect_Type5 : 303 303 (Nat.nat > Nat.nat > 'a1) > Nat.nat > fbs_diff > 'a1 **) 304 let rec fbs_diff_rect_Type5 h_fbs_diff' x_1 839= function304 let rec fbs_diff_rect_Type5 h_fbs_diff' x_1371 = function 305 305  Fbs_diff' (n, m) > h_fbs_diff' n m 306 306 307 307 (** val fbs_diff_rect_Type3 : 308 308 (Nat.nat > Nat.nat > 'a1) > Nat.nat > fbs_diff > 'a1 **) 309 let rec fbs_diff_rect_Type3 h_fbs_diff' x_1 842= function309 let rec fbs_diff_rect_Type3 h_fbs_diff' x_1374 = function 310 310  Fbs_diff' (n, m) > h_fbs_diff' n m 311 311 312 312 (** val fbs_diff_rect_Type2 : 313 313 (Nat.nat > Nat.nat > 'a1) > Nat.nat > fbs_diff > 'a1 **) 314 let rec fbs_diff_rect_Type2 h_fbs_diff' x_1 845= function314 let rec fbs_diff_rect_Type2 h_fbs_diff' x_1377 = function 315 315  Fbs_diff' (n, m) > h_fbs_diff' n m 316 316 317 317 (** val fbs_diff_rect_Type1 : 318 318 (Nat.nat > Nat.nat > 'a1) > Nat.nat > fbs_diff > 'a1 **) 319 let rec fbs_diff_rect_Type1 h_fbs_diff' x_1 848= function319 let rec fbs_diff_rect_Type1 h_fbs_diff' x_1380 = function 320 320  Fbs_diff' (n, m) > h_fbs_diff' n m 321 321 322 322 (** val fbs_diff_rect_Type0 : 323 323 (Nat.nat > Nat.nat > 'a1) > Nat.nat > fbs_diff > 'a1 **) 324 let rec fbs_diff_rect_Type0 h_fbs_diff' x_1 851= function324 let rec fbs_diff_rect_Type0 h_fbs_diff' x_1383 = function 325 325  Fbs_diff' (n, m) > h_fbs_diff' n m 326 326
Note: See TracChangeset
for help on using the changeset viewer.