uor-foundation-macros 0.2.1

Proc macro crate for the UOR Foundation — provides the uor! DSL macro
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

// @generated by uor-crate from uor-ontology — do not edit manually.
// Each entry: (declaration keyword, &[required body keys]).
// Sourced from conformance:Shape.requiredProperty -> PropertyConstraint.surfaceKeyword.
pub const SHAPE_REQUIRED_KEYS: &[(&str, &[&str])] = &[
    (
        "compile_unit",
        &[
            "root_term",
            "witt_level_ceiling",
            "thermodynamic_budget",
            "target_domains",
        ],
    ),
    (
        "dispatch_rule",
        &["predicate", "target_resolver", "priority"],
    ),
    ("lease", &["linear_site", "lease_scope"]),
    ("parallel", &["site_partition", "disjointness_witness"]),
    (
        "predicate",
        &["input_type", "evaluator", "termination_witness"],
    ),
    ("stream", &["unfold_seed", "step", "productivity_witness"]),
    (
        "witt_level",
        &["bit_width", "cycle_size", "predecessor_level"],
    ),
];