Crate atsiser 

Re-exports

pub use abi::ATSFunction;

pub use abi::ATSModule;

pub use abi::ATSParam;

pub use abi::LinearPtr;

pub use abi::MemorySafetyProof;

pub use abi::OwnershipPattern;

pub use abi::Viewtype;

pub use codegen::ats_gen;

pub use codegen::compiler;

pub use codegen::parser;

pub use manifest::load_manifest;

pub use manifest::validate;

pub use manifest::Manifest;

Modules

abi

codegen

manifest

Functions

generate

Convenience: load, validate, and generate all ATS2 artifacts in one call.