Up
–
goblint
»
Goblint_lib
»
Analyses
» StdV
Module
Analyses.StdV
val
is_write_only :
'a
->
bool