package frama-c

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

Experimental module

val clone_defined_kernel_function : Cil_types.kernel_function -> Cil_types.kernel_function

Returns a clone of a kernel function and adds it into the AST next to the old one

OCaml

Innovation. Community. Security.