functor
(
G
:
WeiMaoZouChenInput
)
->
sig
val
identify_loops :
G
.graph
->
G
.tenv
end