Module Functions

module Functions: sig .. end

val has_fundef : Cil_types.exp -> bool

RTL

Operations on function belonging to the runtime library of E-ACSL

module RTL: sig .. end

Libc

Operations on functions belonging to standard library

module Libc: sig .. end