Now, let us imagine that we want to define a new function in Utop, one that takes a string as input and returns a list of all the substrings of that string. How would we define such a function in Utop? Now we examine the source code of it and then we apply the PPX reflection ...
Notes 1. The procedure callsbackwEdge(G,v_0,t,v_1)andcyclEdge(G,v_0,t,v_1)define a backward and a cyclic edge(v_0,v_1)(labelled witht), respectively. The procedure calladdNode(G,v_0,t,v_1)extendsGwithv_1(i.e.V := V \cup \{v_1\}) and ifv_0\ne \bot, then it...