aver-cert 0.1.0

Independent artifact certificate engine and verifier for Aver WebAssembly
Documentation
1
2
3
4
5
6
7
8
9
10
11
// ---- classification ------------------------------------------------------

include!("classify_entry.rs");
include!("classify_expr_fragment.rs");
include!("classify_variant_dispatch.rs");
include!("classify_structural.rs");
include!("classify_basic.rs");
include!("classify_verbatim.rs");
include!("classify_composition.rs");
include!("classify_recursion.rs");
include!("classify_model.rs");