module Updater:
Parameters: |
|
module S:State_builder.Ref
(
Datatype.Unit
)
(
sig
end
)
module U:Properties_status.Make_updater
(
sig
end
)
val set_checked : ?descr:string -> Property.t -> Property.t list -> Cil_types.validity -> unit
val set_unknown : Property.t -> Property.t list -> unit