module At_data:sig
..end
include Datatype.S_with_collections
val create : ?error:exn ->
Cil_types.kernel_function ->
Cil_types.kinstr ->
Analyses_types.lscope ->
Analyses_types.pred_or_term ->
Cil_types.logic_label -> Analyses_types.at_data
create ?error kf kinstr lscope pot label
creates an at_data
from the
given arguments.