package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Taint_requests.TaintStatus`Source

Taint status: untainted, direct taint, indirect taint or error.

type t

val jtype : Server.Package.jtype

val of_json : Server.Data.json -> t

val to_json : t -> Server.Data.json