Ignore:
Timestamp:
Feb 27, 2013, 4:59:31 PM (7 years ago)
Author:
sacerdot
Message:

Graph colouring terminated up to Uses that will be implemented
in Matita.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/untrusted/glue.ml

    r2738 r2740  
    1010  in
    1111    aux 1 (Vector.reverse0 Nat.O v)
     12
     13let option_of_matitaoption =
     14 function
     15    Types.None -> None
     16  | Types.Some v -> Some v
     17
     18let rec matitanat_of_int n =
     19 if n = 0 then Nat.O
     20 else if n < 0 then assert false
     21 else Nat.S (matitanat_of_int (n-1))
Note: See TracChangeset for help on using the changeset viewer.