Lines Matching defs:context
54 type ('a,'b) context = 'b out * node * 'a * 'b out
55 type ('a,'b) decomp = ('a,'b) context * ('a,'b) graph
66 val embed : ('a,'b) context * ('a,'b) graph -> ('a,'b) graph
75 val context : node * ('a,'b) graph -> ('a,'b) context
80 val ufold : (('a,'b) context * 'c -> 'c) -> 'c -> ('a,'b) graph -> 'c
81 val gfold : (('a,'b) context -> node list) -> ('a * 'c -> 'd) ->
101 type 'a context = node list * node * 'a * node list
102 type 'a decomp = 'a context * 'a graph
113 val embed : 'a context * 'a graph -> 'a graph
118 val context : node * 'a graph -> 'a context
123 val ufold : ('a context * 'b -> 'b) -> 'b -> 'a graph -> 'b
124 val gfold : ('a context -> node list) -> ('a * 'b -> 'c) ->