Up
–
gillian-c
»
Cgil_lib
»
CConstants
» CBMC_Builtin_Functions
Module
CConstants.CBMC_Builtin_Functions
val
assert_ : string
val
assume : string
val
nondet_int : string