Up
–
frama-c
»
Frama_c_kernel
»
Binary_cache
» Result
Module type
Binary_cache.Result
type
t
val
sentinel :
t