package frama-c

  1. Overview
  2. Docs

Module Services.SubgraphSource

Subgraph of get () wrt Options.Roots.get ()

Sourceval get : unit -> G.t