//! Abstract argumentation framework and supporting types.
//!
//! This module contains the post-grounding, post-construction data
//! structures used to represent and evaluate structured arguments:
//!
//! | Module | Contents |
//! |--------|----------|
//! | [`argument`] | `Argument` enum (premise / inference) and `ArgumentId` |
//! | [`argument_store`] | Dense arena storing arguments with a conclusion index |
//! | [`attack`] | `Attack` / `Defeat` types and the defeat-computation function |
//! | [`abstract_af`] | Dung-style `AbstractFramework` with SCC, export, and verification |
//! | [`semantics`] | `Semantics` enum, `Extension`, `Label`, and `Labelling` |

pub mod abstract_af;
pub mod argument;
pub mod argument_store;
pub mod attack;
pub mod semantics;
