Module Analyses_datatype.At_data

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.