Up

module Tail_analysis

: sig
#
val tail_positions : BrowseT.node -> BrowseT.node list
#
val entry_points : BrowseT.node -> BrowseT.node list
#
val is_call : BrowseT.node -> bool
end