Lines Matching refs:list
52 type 'b out = ('b * node) list
72 val matchOrd : node * ''b list * ''b list * ('a,''b) graph -> ('a,''b) decomp
73 val matchOrdFwd : node * ''b list * ('a,''b) graph -> ('a,''b) fwd_decomp
78 val suc : node * ('a,'b) graph -> node list
79 val pred : node * ('a,'b) graph -> node list
81 val gfold : (('a,'b) context -> node list) -> ('a * 'c -> 'd) ->
82 ('d * 'c -> 'c) -> 'c -> node list -> ('a,'b) graph -> 'c
83 val nodes : ('a,'b) graph -> node list
84 val labNodes : ('a,'b) graph -> (node * 'a) list
87 val newNodes : int -> ('a,'b) graph -> node list
88 val mkgr : 'a list * (node * node * 'b) list -> ('a,'b) graph
89 val adj : ('a,'b) graph -> (node * ('a,'b) adj) list
100 type 'a adj = 'a * node list
101 type 'a context = node list * node * 'a * node list
121 val suc : node * 'a graph -> node list
122 val pred : node * 'a graph -> node list
124 val gfold : ('a context -> node list) -> ('a * 'b -> 'c) ->
125 ('c * 'b -> 'b) -> 'b -> node list -> 'a graph -> 'b
126 val nodes : 'a graph -> node list
127 val labNodes : 'a graph -> (node * 'a) list
130 val newNodes : int -> 'a graph -> node list
131 val mkgr : 'a list * (node * node) list -> 'a graph
132 val adj : 'a graph -> (node * 'a adj) list