typecheck error Value restriction. The value 'it' has been inferred to have generic type
val it: '_a
Either define 'it' as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation.
The following code to obtain the loop count of a digraph fails. none of the suggestions from the error words. the FGraph version works fine.