Lines Matching refs:function
45 let rec map f = function
53 let rec unite = function
127 (* subjectReadsp g l x acc is the function that checks is x is in the "subjectReads g l" set, where acc is that set during the fixpoint computation *)
174 (* subjectAffectsp g l x acc is the function that checks is x is in the "subjectAffects g l" set, where acc is that set during the fixpoint computation *)
236 let rec clear_infoflow =function
347 (* apply f l applies recursively function f, of type 'a -> Unit, on the elements of l *)
349 let rec apply f = function
367 (* we define the tarjanp function, computing the partition of the infoflow graph g in strongly connected components *)
386 let rec aux = function
425 let rec string2int_labels name_t = function
432 let rec int2string_labels name_t = function