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.