package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Exported as Json string with their unique tag.

include Data.S with type t = Frama_c_kernel.Printer_tag.localizable
val jtype : Package.jtype
val of_json : Data.json -> t
val to_json : t -> Data.json
val index : t -> string

Memoized unique identifier.

val find : string -> t

Get back the scope, if any.

  • raises Not_found

    if the marker is not defined yet

OCaml

Innovation. Community. Security.