package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Kernel_ast.Position`Source

Represented by a Json record with file, dir, basename, line

Sourcetype t = Frama_c_kernel.Filepath.position

Sourceval jtype : Package.jtype

Sourceval of_json : Data.json -> t

Sourceval to_json : t -> Data.json