Up
–
gillian-c
»
Cgil_lib
»
CConstants
» Builtin_Functions
Module
CConstants.Builtin_Functions
val
assert_f : string
val
assume_f : string