Changeset 2649 for extracted/graphs.ml


Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/graphs.ml

    r2601 r2649  
    1010
    1111open Types
    12 
    13 open Char
    14 
    15 open String
    1612
    1713open Extranat
     
    4743open Deqsets
    4844
     45open ErrorMessages
     46
    4947open PreIdentifiers
    5048
     
    6563open Identifiers
    6664
    67 open Coqlib
    68 
    69 open Floats
    70 
    7165open Arithmetic
    7266
     
    7468
    7569open AST
    76 
    77 (** val labelTag : String.string **)
    78 let labelTag = "labelTag"
    79   (*failwith "AXIOM TO BE REALIZED"*)
    8070
    8171type label = PreIdentifiers.identifier
     
    8777(** val label_eq : label -> label -> (__, __) Types.sum **)
    8878let label_eq =
    89   Identifiers.identifier_eq labelTag
     79  Identifiers.identifier_eq PreIdentifiers.LabelTag
    9080
    9181type 'x graph = 'x Identifiers.identifier_map
     
    9888(** val graph_num_nodes : 'a1 graph -> Nat.nat **)
    9989let graph_num_nodes g0 =
    100   Identifiers.id_map_size labelTag g0
     90  Identifiers.id_map_size PreIdentifiers.LabelTag g0
    10191
Note: See TracChangeset for help on using the changeset viewer.