package frama-c-metacsl

You can search for identifiers within the package.

in-package search v0.2.0

frama-c-metacsl.core
- MetAcsl
  - Meta_run
  - Meta_utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

val translate : 
  ?check_external:bool ->
  ?check_callee_assigns:Frama_c_kernel.Kernel_function.Set.t ->
  ?simpl:bool ->
  ?target_set:Meta_utils.StrSet.t ->
  ?number_assertions:bool ->
  ?prefix_meta:bool ->
  ?static_bindings:int ->
  unit ->
  Frama_c_kernel.Project.t