package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Export Engine Factory

val cmode : Engine.mode -> Engine.cmode
val amode : Engine.mode -> Engine.amode
val pmode : Engine.mode -> Engine.pmode
val tmode : ('a, 'f) Logic.datatype -> Engine.mode
val ctau : ('a, 'f) Logic.datatype -> Engine.cmode
val is_identifier : string -> bool
val sanitize : to_lowercase:bool -> string -> string
val debug : Engine.link -> string
module Make (T : Logic.Term) : sig ... end