let
t_fi_descr =
PdgIndex
.
FctIndex
.t_descr ~ni:(
Descr
.str
Node
.descr) ~ci:
Structural_descr
.t_unit