Changeset 2773 for extracted/graphs.ml


Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (7 years ago)
Author:
sacerdot
Message:
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/graphs.ml

    r2717 r2773  
    1010
    1111open Types
     12
     13open Deqsets
     14
     15open Setoids
     16
     17open Monad
     18
     19open Option
    1220
    1321open Extranat
     
    4149open PositiveMap
    4250
    43 open Deqsets
    44 
    4551open ErrorMessages
    4652
     
    5056
    5157open Extralib
    52 
    53 open Setoids
    54 
    55 open Monad
    56 
    57 open Option
    5858
    5959open Lists
     
    8686    (Positive.pos -> 'a1 -> 'a2 -> 'a2) -> 'a1 graph -> 'a2 -> 'a2 **)
    8787let graph_fold f graph0 seed =
    88   let map1 = graph0 in PositiveMap.fold0 f map1 seed
     88  let map = graph0 in PositiveMap.fold f map seed
    8989
    9090(** val graph_num_nodes : 'a1 graph -> Nat.nat **)
    91 let graph_num_nodes g0 =
    92   Identifiers.id_map_size PreIdentifiers.LabelTag g0
     91let graph_num_nodes g =
     92  Identifiers.id_map_size PreIdentifiers.LabelTag g
    9393
Note: See TracChangeset for help on using the changeset viewer.