Up – Package index » goblint » Library goblint.lib » Goblint_lib » Spec

Module `Goblint_lib.Spec`

Analysis by specification file.

goblint

module SC = SpecCore

module Spec : sig ... end