package frama-c

  1. Overview
  2. Docs

Module Kernel_ast.FundecSource

Represented by the function name as jFunction.

Sourceval of_json : Data.json -> t
Sourceval to_json : t -> Data.json