73 type label = PreIdentifiers.identifier
75 (** val label_to_ident : label -> AST.ident **)
76 let label_to_ident l =
79 (** val label_eq : label -> label -> (__, __) Types.sum **)
81 Identifiers.identifier_eq PreIdentifiers.LabelTag
83 type 'x graph = 'x Identifiers.identifier_map
86 (Positive.pos -> 'a1 -> 'a2 -> 'a2) -> 'a1 graph -> 'a2 -> 'a2 **)
87 let graph_fold f graph0 seed =
88 let map = graph0 in PositiveMap.fold f map seed
90 (** val graph_num_nodes : 'a1 graph -> Nat.nat **)
91 let graph_num_nodes g =
92 Identifiers.id_map_size PreIdentifiers.LabelTag g