Frama-C API - `Export`

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

val link_name : Engine.link -> string

module Make (T : Logic.Term) : sig ... end

Frama-C API - Export