Module Current_table.Ki


module Ki: Cil_datatype.Kinstr

include S_with_collections
val loc : t -> Cil_types.location