sig
val
clear : unit
->
unit
val
add :
Cil_types
.logic_var
->
Ival
.t
->
unit
end