73 type label = PreIdentifiers.identifier
75 val label_to_ident : label -> AST.ident
77 val label_eq : label -> label -> (__, __) Types.sum
79 type 'x graph = 'x Identifiers.identifier_map
82 (Positive.pos -> 'a1 -> 'a2 -> 'a2) -> 'a1 graph -> 'a2 -> 'a2
84 val graph_num_nodes : 'a1 graph -> Nat.nat