use crate::enums::GeometricCharacter;
use crate::enums::ValidityScopeKind;
use crate::enums::VerificationDomain;
use crate::enums::WittLevel;
use crate::HostTypes;
pub trait Operation<H: HostTypes> {
fn arity(&self) -> u64;
fn has_geometric_character(&self) -> GeometricCharacter;
type OperationTarget: Operation<H>;
fn inverse(&self) -> &Self::OperationTarget;
fn composed_of(&self) -> &H::HostString;
fn is_ring_op(&self) -> bool;
}
pub trait UnaryOp<H: HostTypes>: Operation<H> {}
pub trait BinaryOp<H: HostTypes>: Operation<H> {
fn commutative(&self) -> bool;
fn associative(&self) -> bool;
fn identity(&self) -> i64;
}
pub trait Involution<H: HostTypes>: UnaryOp<H> {}
pub trait Identity<H: HostTypes> {
type TermExpression: crate::kernel::schema::TermExpression<H>;
fn lhs(&self) -> &Self::TermExpression;
fn rhs(&self) -> &Self::TermExpression;
type ForAllDeclaration: crate::kernel::schema::ForAllDeclaration<H>;
fn for_all(&self) -> &Self::ForAllDeclaration;
fn verification_domain(&self) -> &[VerificationDomain];
type WittLevelBinding: WittLevelBinding<H>;
fn verified_at_level(&self) -> &[Self::WittLevelBinding];
fn universally_valid(&self) -> bool;
fn validity_kind(&self) -> ValidityScopeKind;
fn valid_kmin(&self) -> u64;
fn valid_kmax(&self) -> u64;
}
pub trait Group<H: HostTypes> {
type Operation: Operation<H>;
fn generated_by(&self) -> &[Self::Operation];
fn order(&self) -> u64;
}
pub trait DihedralGroup<H: HostTypes>: Group<H> {}
pub trait WittLevelBinding<H: HostTypes> {
fn binding_level(&self) -> WittLevel;
}
pub trait QuantumThermodynamicDomain<H: HostTypes> {}
pub trait ComposedOperation<H: HostTypes>:
Operation<H> + crate::user::morphism::Composition<H>
{
type Operation: Operation<H>;
fn composed_of_ops(&self) -> &[Self::Operation];
type TypeDefinition: crate::user::type_::TypeDefinition<H>;
fn operator_domain_type(&self) -> &Self::TypeDefinition;
fn operator_range_type(&self) -> &Self::TypeDefinition;
fn operator_complexity(&self) -> &H::HostString;
fn operator_idempotent(&self) -> bool;
fn composed_operator_count(&self) -> u64;
fn is_involutory(&self) -> bool;
type TermExpression: crate::kernel::schema::TermExpression<H>;
fn convergence_guarantee(&self) -> &Self::TermExpression;
}
pub trait DispatchOperation<H: HostTypes>: ComposedOperation<H> {
fn dispatch_source(&self) -> &Self::Operation;
fn dispatch_target(&self) -> &Self::Operation;
}
pub trait InferenceOperation<H: HostTypes>: ComposedOperation<H> {
fn inference_source(&self) -> &Self::Operation;
fn inference_target(&self) -> &Self::Operation;
fn inference_pipeline(&self) -> &Self::Operation;
}
pub trait AccumulationOperation<H: HostTypes>: ComposedOperation<H> {
fn accumulation_base(&self) -> &Self::TermExpression;
fn accumulation_binding(&self) -> &Self::TermExpression;
}
pub trait LeasePartitionOperation<H: HostTypes>: ComposedOperation<H> {
fn lease_source(&self) -> &Self::Operation;
fn lease_factor(&self) -> &Self::Operation;
fn lease_partition_count(&self) -> u64;
}
pub trait SessionCompositionOperation<H: HostTypes>: ComposedOperation<H> {
fn composition_left_session(&self) -> &Self::Operation;
fn composition_right_session(&self) -> &Self::Operation;
}
pub trait GroupPresentation<H: HostTypes> {}
pub mod enumerative {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/Enumerative";
}
pub mod algebraic {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/Algebraic";
}
pub mod geometric {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/Geometric";
}
pub mod analytical {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/Analytical";
}
pub mod thermodynamic {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod topological {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/Topological";
}
pub mod pipeline {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/Pipeline";
}
pub mod index_theoretic {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod superposition_domain {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/SuperpositionDomain";
}
pub mod quantum_thermodynamic {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/QuantumThermodynamic";
}
pub mod arithmetic_valuation {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/ArithmeticValuation";
}
pub mod composed_algebraic {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod universal {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/Universal";
}
pub mod parametric_lower {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/ParametricLower";
}
pub mod parametric_range {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/ParametricRange";
}
pub mod level_specific {
pub const ENUM_VARIANT: &str = "https://uor.foundation/op/LevelSpecific";
}
pub mod ring_reflection {}
pub mod hypercube_reflection {}
pub mod rotation {}
pub mod rotation_inverse {}
pub mod translation {}
pub mod scaling {}
pub mod hypercube_translation {}
pub mod hypercube_projection {}
pub mod hypercube_join {}
pub mod constraint_selection {}
pub mod resolution_traversal {}
pub mod site_binding {}
pub mod site_partition {}
pub mod session_merge {}
pub mod dispatch {
pub const ARITY: i64 = 2;
pub const ASSOCIATIVE: bool = false;
pub const COMMUTATIVE: bool = false;
pub const HAS_GEOMETRIC_CHARACTER: &str = "https://uor.foundation/op/ConstraintSelection";
pub const OPERATOR_SIGNATURE: &str = "Query × ResolverRegistry → Resolver";
}
pub mod infer {
pub const ARITY: i64 = 2;
pub const ASSOCIATIVE: bool = false;
pub const COMMUTATIVE: bool = false;
pub const HAS_GEOMETRIC_CHARACTER: &str = "https://uor.foundation/op/ResolutionTraversal";
pub const OPERATOR_SIGNATURE: &str = "Symbol × Context → ResolvedType";
}
pub mod accumulate {
pub const ARITY: i64 = 2;
pub const ASSOCIATIVE: bool = true;
pub const COMMUTATIVE: bool = false;
pub const HAS_GEOMETRIC_CHARACTER: &str = "https://uor.foundation/op/SiteBinding";
pub const OPERATOR_SIGNATURE: &str = "Binding × Context → Context";
}
pub mod partition_op {
pub const ARITY: i64 = 2;
pub const ASSOCIATIVE: bool = false;
pub const COMMUTATIVE: bool = false;
pub const HAS_GEOMETRIC_CHARACTER: &str = "https://uor.foundation/op/SitePartition";
pub const OPERATOR_SIGNATURE: &str = "SharedContext × ℕ → ContextLease^k";
}
pub mod compose_op {
pub const ARITY: i64 = 2;
pub const ASSOCIATIVE: bool = true;
pub const COMMUTATIVE: bool = true;
pub const HAS_GEOMETRIC_CHARACTER: &str = "https://uor.foundation/op/SessionMerge";
pub const OPERATOR_SIGNATURE: &str = "Session × Session → Session";
}
pub mod critical_identity {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_criticalIdentity_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_criticalIdentity_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_criticalIdentity_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ad_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AD_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AD_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AD_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ad_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AD_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AD_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AD_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod r_a1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_R_A1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_R_A1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_R_A1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod r_a2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_R_A2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_R_A2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_R_A2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod r_a3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_R_A3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_R_A3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_R_A3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod r_a4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_R_A4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_R_A4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_R_A4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod r_a5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_R_A5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_R_A5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_R_A5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod r_a6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_R_A6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_R_A6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_R_A6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod r_m1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_R_M1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_R_M1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_R_M1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod r_m2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_R_M2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_R_M2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_R_M2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod r_m3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_R_M3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_R_M3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_R_M3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod r_m4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_R_M4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_R_M4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_R_M4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod r_m5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_R_M5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_R_M5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_R_M5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod b_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_B_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_B_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_B_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod b_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_B_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_B_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_B_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod b_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_B_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_B_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_B_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod b_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_B_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_B_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_B_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod b_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_B_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_B_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_B_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod b_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_B_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_B_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_B_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod b_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_B_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_B_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_B_7_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod b_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_B_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_B_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_B_8_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod b_9 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_B_9_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_B_9_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_B_9_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod b_10 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_B_10_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_B_10_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_B_10_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod b_11 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_B_11_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_B_11_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_B_11_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod b_12 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_B_12_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_B_12_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_B_12_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod b_13 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_B_13_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_B_13_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_B_13_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod x_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_X_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_X_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_X_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod x_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_X_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_X_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_X_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod x_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_X_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_X_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_X_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod x_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_X_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_X_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_X_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod x_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_X_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_X_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_X_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod x_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_X_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_X_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_X_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod x_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_X_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_X_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_X_7_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod d_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_D_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_D_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_D_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod d_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_D_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_D_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_D_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod d_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_D_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_D_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_D_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod d_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_D_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_D_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_D_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod u_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_U_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_U_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_U_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod u_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_U_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_U_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_U_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod u_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_U_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_U_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_U_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod u_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_U_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_U_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_U_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod u_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_U_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_U_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_U_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ag_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AG_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AG_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AG_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ag_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AG_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AG_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AG_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ag_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AG_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AG_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AG_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ag_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AG_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AG_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AG_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ca_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CA_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CA_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CA_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ca_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CA_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CA_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CA_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ca_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CA_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CA_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CA_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ca_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CA_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CA_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CA_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ca_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CA_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CA_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CA_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ca_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CA_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CA_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CA_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod c_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_C_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_C_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_C_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod c_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_C_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_C_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_C_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod c_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_C_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_C_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_C_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod c_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_C_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_C_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_C_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod c_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_C_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_C_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_C_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod c_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_C_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_C_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_C_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cdi {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CDI_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CDI_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CDI_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cl_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CL_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CL_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CL_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cl_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CL_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CL_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CL_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cl_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CL_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CL_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CL_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cl_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CL_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CL_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CL_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cl_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CL_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CL_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CL_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cm_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CM_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CM_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CM_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cm_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CM_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CM_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CM_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cm_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CM_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CM_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CM_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cr_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CR_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CR_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CR_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cr_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CR_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CR_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CR_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cr_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CR_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CR_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CR_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cr_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CR_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CR_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CR_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cr_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CR_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CR_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CR_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod f_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_F_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_F_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_F_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod f_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_F_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_F_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_F_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod f_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_F_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_F_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_F_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod f_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_F_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_F_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_F_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fl_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FL_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FL_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FL_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fl_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FL_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FL_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FL_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fl_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FL_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FL_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FL_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fl_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FL_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FL_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FL_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fpm_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FPM_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FPM_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FPM_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fpm_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FPM_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FPM_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FPM_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fpm_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FPM_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FPM_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FPM_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fpm_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FPM_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FPM_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FPM_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fpm_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FPM_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FPM_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FPM_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fpm_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FPM_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FPM_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FPM_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fpm_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FPM_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FPM_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FPM_7_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fs_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FS_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FS_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FS_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fs_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FS_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FS_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FS_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fs_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FS_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FS_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FS_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fs_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FS_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FS_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FS_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fs_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FS_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FS_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FS_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fs_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FS_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FS_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FS_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fs_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FS_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FS_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FS_7_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod re_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_RE_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_RE_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_RE_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ir_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IR_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IR_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IR_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ir_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IR_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IR_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IR_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ir_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IR_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IR_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IR_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ir_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IR_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IR_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IR_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod sf_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SF_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SF_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SF_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod sf_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SF_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SF_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SF_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod rd_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_RD_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_RD_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_RD_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod rd_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_RD_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_RD_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_RD_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod se_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SE_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SE_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SE_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod se_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SE_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SE_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SE_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod se_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SE_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SE_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SE_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod se_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SE_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SE_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SE_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod oo_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OO_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OO_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OO_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod oo_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OO_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OO_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OO_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod oo_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OO_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OO_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OO_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod oo_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OO_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OO_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OO_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod oo_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OO_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OO_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OO_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cb_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CB_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CB_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CB_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cb_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CB_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CB_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CB_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cb_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CB_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CB_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CB_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cb_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CB_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CB_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CB_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cb_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CB_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CB_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CB_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cb_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CB_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CB_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CB_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ob_m1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_M1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_M1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_M1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ob_m2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_M2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_M2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_M2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ob_m3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_M3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_M3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_M3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ob_m4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_M4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_M4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_M4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ob_m5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_M5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_M5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_M5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ob_m6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_M6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_M6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_M6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ob_c1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_C1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_C1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_C1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ob_c2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_C2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_C2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_C2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ob_c3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_C3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_C3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_C3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ob_h1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_H1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_H1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_H1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ob_h2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_H2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_H2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_H2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ob_h3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_H3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_H3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_H3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ob_p1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_P1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_P1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_P1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ob_p2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_P2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_P2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_P2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ob_p3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OB_P3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OB_P3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OB_P3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ct_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CT_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CT_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CT_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ct_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CT_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CT_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CT_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ct_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CT_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CT_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CT_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ct_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CT_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CT_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CT_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod cf_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CF_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CF_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CF_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod cf_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CF_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CF_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CF_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod cf_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CF_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CF_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CF_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod cf_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CF_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CF_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CF_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod hg_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HG_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HG_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HG_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod hg_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HG_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HG_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HG_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod hg_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HG_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HG_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HG_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod hg_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HG_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HG_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HG_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod hg_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HG_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HG_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HG_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod t_c1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_C1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_C1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_C1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_c2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_C2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_C2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_C2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_c3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_C3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_C3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_C3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_c4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_C4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_C4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_C4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_i1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_I1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_I1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_I1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_i2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_I2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_I2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_I2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_i3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_I3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_I3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_I3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_i4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_I4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_I4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_I4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_i5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_I5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_I5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_I5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_e1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_E1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_E1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_E1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_e2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_E2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_E2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_E2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_e3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_E3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_E3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_E3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_e4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_E4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_E4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_E4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_a1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_A1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_A1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_A1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_a2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_A2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_A2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_A2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_a3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_A3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_A3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_A3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod t_a4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_T_A4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_T_A4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_T_A4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod au_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AU_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AU_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AU_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod au_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AU_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AU_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AU_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod au_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AU_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AU_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AU_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod au_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AU_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AU_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AU_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod au_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AU_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AU_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AU_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod ef_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EF_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EF_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EF_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod ef_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EF_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EF_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EF_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod ef_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EF_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EF_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EF_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod ef_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EF_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EF_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EF_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod ef_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EF_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EF_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EF_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod ef_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EF_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EF_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EF_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod ef_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EF_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EF_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EF_7_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod aa_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AA_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AA_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AA_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod aa_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AA_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AA_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AA_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod aa_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AA_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AA_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AA_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod aa_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AA_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AA_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AA_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod aa_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AA_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AA_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AA_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod aa_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AA_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AA_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AA_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod am_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AM_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AM_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AM_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod am_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AM_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AM_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AM_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod am_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AM_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AM_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AM_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod am_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AM_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AM_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AM_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod th_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TH_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TH_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TH_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod th_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TH_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TH_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TH_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod th_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TH_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TH_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TH_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod th_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TH_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TH_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TH_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod th_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TH_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TH_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TH_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod th_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TH_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TH_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TH_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod th_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TH_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TH_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TH_7_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod th_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TH_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TH_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TH_8_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod th_9 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TH_9_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TH_9_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TH_9_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod th_10 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TH_10_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TH_10_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TH_10_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod ar_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AR_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AR_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AR_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ar_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AR_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AR_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AR_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ar_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AR_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AR_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AR_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ar_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AR_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AR_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AR_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ar_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AR_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AR_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AR_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod pd_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PD_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PD_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PD_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod pd_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PD_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PD_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PD_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod pd_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PD_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PD_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PD_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod pd_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PD_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PD_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PD_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod pd_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PD_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PD_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PD_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod rc_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_RC_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_RC_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_RC_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod rc_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_RC_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_RC_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_RC_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod rc_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_RC_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_RC_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_RC_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod rc_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_RC_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_RC_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_RC_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod rc_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_RC_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_RC_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_RC_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod dc_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DC_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DC_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DC_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod dc_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DC_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DC_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DC_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod dc_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DC_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DC_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DC_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod dc_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DC_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DC_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DC_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod dc_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DC_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DC_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DC_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod dc_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DC_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DC_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DC_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod dc_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DC_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DC_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DC_7_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod dc_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DC_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DC_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DC_8_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod dc_9 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DC_9_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DC_9_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DC_9_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod dc_10 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DC_10_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DC_10_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DC_10_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod dc_11 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DC_11_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DC_11_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DC_11_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ha_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HA_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HA_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HA_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ha_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HA_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HA_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HA_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ha_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HA_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HA_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HA_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod it_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IT_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IT_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IT_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod it_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IT_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IT_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IT_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod it_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IT_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IT_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IT_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod it_7a {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IT_7a_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IT_7a_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IT_7a_rhs";
pub const VERIFICATION_DOMAIN: &[&str] = &[
"https://uor.foundation/op/IndexTheoretic",
"https://uor.foundation/op/Analytical",
"https://uor.foundation/op/Topological",
];
}
pub mod it_7b {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IT_7b_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IT_7b_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IT_7b_rhs";
pub const VERIFICATION_DOMAIN: &[&str] = &[
"https://uor.foundation/op/IndexTheoretic",
"https://uor.foundation/op/Analytical",
"https://uor.foundation/op/Topological",
];
}
pub mod it_7c {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IT_7c_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IT_7c_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IT_7c_rhs";
pub const VERIFICATION_DOMAIN: &[&str] = &[
"https://uor.foundation/op/IndexTheoretic",
"https://uor.foundation/op/Analytical",
"https://uor.foundation/op/Topological",
];
}
pub mod it_7d {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IT_7d_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IT_7d_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IT_7d_rhs";
pub const VERIFICATION_DOMAIN: &[&str] = &[
"https://uor.foundation/op/IndexTheoretic",
"https://uor.foundation/op/Analytical",
"https://uor.foundation/op/Topological",
];
}
pub mod phi_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_phi_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_phi_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_phi_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod phi_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_phi_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_phi_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_phi_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod phi_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_phi_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_phi_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_phi_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod phi_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_phi_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_phi_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_phi_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod phi_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_phi_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_phi_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_phi_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod phi_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_phi_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_phi_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_phi_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod psi_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_psi_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_psi_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_psi_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod psi_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_psi_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_psi_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_psi_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod psi_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_psi_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_psi_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_psi_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod psi_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_psi_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_psi_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_psi_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod psi_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_psi_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_psi_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_psi_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod d2n {
pub const GENERATED_BY: &[&str] = &[
"https://uor.foundation/op/neg",
"https://uor.foundation/op/bnot",
];
pub const PRESENTATION: &str = "⟨r, s | r^{2^n} = s² = e, srs = r⁻¹⟩";
}
pub mod surface_symmetry {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_surfaceSymmetry_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_surfaceSymmetry_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_surfaceSymmetry_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cc_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CC_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CC_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CC_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cc_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CC_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CC_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CC_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cc_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CC_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CC_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CC_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cc_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CC_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CC_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CC_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cc_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CC_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CC_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CC_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ql_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_QL_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_QL_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_QL_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ql_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_QL_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_QL_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_QL_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ql_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_QL_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_QL_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_QL_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod ql_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_QL_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_QL_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_QL_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ql_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_QL_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_QL_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_QL_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ql_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_QL_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_QL_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_QL_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ql_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_QL_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_QL_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_QL_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod gr_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GR_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GR_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GR_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod gr_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GR_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GR_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GR_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod gr_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GR_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GR_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GR_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod gr_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GR_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GR_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GR_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod gr_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GR_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GR_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GR_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ts_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TS_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TS_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TS_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ts_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TS_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TS_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TS_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ts_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TS_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TS_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TS_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ts_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TS_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TS_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TS_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ts_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TS_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TS_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TS_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ts_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TS_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TS_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TS_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ts_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TS_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TS_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TS_7_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod wls_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WLS_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WLS_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WLS_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod wls_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WLS_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WLS_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WLS_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod wls_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WLS_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WLS_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WLS_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod wls_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WLS_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WLS_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WLS_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod wls_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WLS_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WLS_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WLS_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod wls_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WLS_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WLS_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WLS_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod mn_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MN_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MN_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MN_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod mn_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MN_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MN_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MN_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod mn_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MN_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MN_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MN_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod mn_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MN_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MN_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MN_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod mn_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MN_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MN_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MN_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod mn_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MN_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MN_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MN_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod mn_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MN_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MN_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MN_7_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod pt_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PT_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PT_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PT_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod pt_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PT_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PT_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PT_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod pt_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PT_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PT_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PT_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod pt_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PT_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PT_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PT_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod st_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_ST_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_ST_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_ST_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod st_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_ST_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_ST_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_ST_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod gs_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GS_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GS_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GS_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod gs_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GS_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GS_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GS_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod gs_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GS_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GS_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GS_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod gs_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GS_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GS_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GS_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod gs_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GS_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GS_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GS_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod gs_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GS_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GS_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GS_6_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod gs_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GS_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GS_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GS_7_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod ms_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MS_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MS_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MS_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ms_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MS_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MS_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MS_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ms_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MS_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MS_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MS_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ms_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MS_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MS_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MS_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ms_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MS_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MS_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MS_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod gd_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GD_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GD_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GD_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod gd_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GD_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GD_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GD_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod gd_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GD_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GD_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GD_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod gd_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GD_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GD_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GD_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod gd_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GD_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GD_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GD_5_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod qm_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_QM_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_QM_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_QM_1_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/QuantumThermodynamic";
}
pub mod qm_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_QM_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_QM_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_QM_2_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod qm_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_QM_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_QM_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_QM_3_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/QuantumThermodynamic";
}
pub mod qm_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_QM_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_QM_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_QM_4_rhs";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod qm_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_QM_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_QM_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_QM_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/QuantumThermodynamic";
}
pub mod rc_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_RC_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_RC_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_RC_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/SuperpositionDomain";
}
pub mod fpm_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FPM_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FPM_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FPM_8_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Enumerative";
}
pub mod fpm_9 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FPM_9_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FPM_9_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FPM_9_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod mn_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MN_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MN_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MN_8_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ql_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_QL_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_QL_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_QL_8_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod d_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_D_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_D_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_D_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod sp_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SP_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SP_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SP_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/SuperpositionDomain";
}
pub mod sp_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SP_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SP_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SP_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/QuantumThermodynamic";
}
pub mod sp_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SP_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SP_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SP_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/SuperpositionDomain";
}
pub mod sp_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SP_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SP_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SP_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/QuantumThermodynamic";
}
pub mod pt_2a {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PT_2a_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PT_2a_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PT_2a_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod pt_2b {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PT_2b_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PT_2b_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PT_2b_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod gd_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GD_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GD_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GD_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod wt_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WT_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WT_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WT_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod wt_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WT_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WT_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WT_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod wt_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WT_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WT_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WT_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod wt_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WT_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WT_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WT_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod wt_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WT_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WT_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WT_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod wt_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WT_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WT_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WT_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod wt_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WT_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WT_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WT_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod cc_pins {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CC_PINS_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CC_PINS_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CC_PINS_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cc_cost_site {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CC_COST_SITE_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CC_COST_SITE_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CC_COST_SITE_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Enumerative";
}
pub mod jsat_rr {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_jsat_RR_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_jsat_RR_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_jsat_RR_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod jsat_cr {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_jsat_CR_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_jsat_CR_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_jsat_CR_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod jsat_cc {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_jsat_CC_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_jsat_CC_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_jsat_CC_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Enumerative";
}
pub mod d_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_D_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_D_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_D_8_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod d_9 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_D_9_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_D_9_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_D_9_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod exp_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EXP_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EXP_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EXP_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod exp_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EXP_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EXP_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EXP_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Enumerative";
}
pub mod exp_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EXP_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EXP_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EXP_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod st_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_ST_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_ST_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_ST_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod st_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_ST_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_ST_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_ST_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod st_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_ST_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_ST_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_ST_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod ts_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TS_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TS_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TS_8_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ts_9 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TS_9_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TS_9_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TS_9_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ts_10 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TS_10_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TS_10_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TS_10_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod wt_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WT_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WT_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WT_8_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod wt_9 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WT_9_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WT_9_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WT_9_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod coeff_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_COEFF_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_COEFF_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_COEFF_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod go_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GO_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GO_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GO_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod gr_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GR_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GR_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GR_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod gr_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GR_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GR_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GR_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod qm_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_QM_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_QM_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_QM_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/SuperpositionDomain";
}
pub mod cic_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CIC_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CIC_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CIC_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cic_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CIC_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CIC_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CIC_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Geometric";
}
pub mod cic_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CIC_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CIC_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CIC_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cic_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CIC_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CIC_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CIC_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Thermodynamic";
}
pub mod cic_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CIC_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CIC_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CIC_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cic_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CIC_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CIC_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CIC_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/QuantumThermodynamic";
}
pub mod cic_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CIC_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CIC_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CIC_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/QuantumThermodynamic";
}
pub mod gc_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GC_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GC_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GC_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod gr_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GR_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GR_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GR_8_rhs";
pub const UNIVERSALLY_VALID: bool = false;
pub const VALID_KMIN: i64 = 0;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/ParametricLower";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod gr_9 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GR_9_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GR_9_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GR_9_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod gr_10 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GR_10_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GR_10_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GR_10_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod mc_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MC_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MC_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MC_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod mc_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MC_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MC_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MC_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod mc_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MC_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MC_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MC_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod mc_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MC_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MC_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MC_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod mc_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MC_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MC_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MC_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod mc_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MC_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MC_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MC_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod mc_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MC_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MC_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MC_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod mc_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MC_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MC_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MC_8_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod wc_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WC_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WC_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WC_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod wc_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WC_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WC_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WC_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod wc_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WC_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WC_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WC_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod wc_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WC_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WC_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WC_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod wc_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WC_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WC_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WC_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod wc_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WC_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WC_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WC_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod wc_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WC_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WC_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WC_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod wc_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WC_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WC_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WC_8_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod wc_9 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WC_9_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WC_9_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WC_9_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod wc_10 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WC_10_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WC_10_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WC_10_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod wc_11 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WC_11_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WC_11_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WC_11_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod wc_12 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_WC_12_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_WC_12_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_WC_12_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod oa_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OA_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OA_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OA_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ArithmeticValuation";
}
pub mod oa_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OA_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OA_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OA_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ArithmeticValuation";
}
pub mod oa_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OA_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OA_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OA_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ArithmeticValuation";
}
pub mod oa_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OA_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OA_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OA_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ArithmeticValuation";
}
pub mod oa_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OA_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OA_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OA_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ArithmeticValuation";
}
pub mod ht_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HT_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HT_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HT_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ht_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HT_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HT_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HT_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ht_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HT_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HT_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HT_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ht_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HT_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HT_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HT_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ht_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HT_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HT_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HT_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ht_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HT_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HT_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HT_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod ht_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HT_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HT_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HT_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod ht_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HT_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HT_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HT_8_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod psi_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_psi_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_psi_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_psi_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod psi_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_psi_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_psi_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_psi_8_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod psi_9 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_psi_9_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_psi_9_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_psi_9_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod hp_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HP_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HP_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HP_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod hp_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HP_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HP_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HP_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod hp_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HP_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HP_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HP_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod hp_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HP_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HP_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HP_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod md_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MD_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MD_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MD_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod md_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MD_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MD_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MD_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod md_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MD_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MD_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MD_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod md_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MD_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MD_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MD_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod md_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MD_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MD_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MD_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod md_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MD_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MD_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MD_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod md_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MD_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MD_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MD_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod md_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MD_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MD_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MD_8_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod md_9 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MD_9_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MD_9_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MD_9_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod md_10 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MD_10_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MD_10_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MD_10_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod mr_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MR_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MR_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MR_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod mr_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MR_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MR_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MR_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod mr_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MR_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MR_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MR_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod mr_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MR_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MR_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MR_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cy_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CY_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CY_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CY_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cy_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CY_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CY_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CY_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cy_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CY_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CY_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CY_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cy_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CY_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CY_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CY_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cy_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CY_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CY_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CY_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cy_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CY_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CY_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CY_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod cy_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CY_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CY_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CY_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod bm_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_BM_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_BM_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_BM_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod bm_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_BM_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_BM_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_BM_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod bm_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_BM_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_BM_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_BM_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod bm_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_BM_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_BM_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_BM_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod bm_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_BM_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_BM_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_BM_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod bm_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_BM_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_BM_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_BM_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/IndexTheoretic";
}
pub mod gl_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GL_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GL_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GL_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod gl_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GL_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GL_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GL_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod gl_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GL_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GL_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GL_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod gl_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_GL_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_GL_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_GL_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod nv_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_NV_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_NV_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_NV_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod nv_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_NV_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_NV_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_NV_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod nv_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_NV_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_NV_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_NV_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod nv_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_NV_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_NV_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_NV_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod sd_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SD_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SD_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SD_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod sd_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SD_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SD_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SD_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod sd_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SD_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SD_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SD_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod sd_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SD_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SD_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SD_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod sd_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SD_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SD_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SD_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod sd_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SD_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SD_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SD_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod sd_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SD_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SD_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SD_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod sd_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SD_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SD_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SD_8_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod dd_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DD_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DD_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DD_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod dd_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DD_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DD_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DD_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pi_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PI_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PI_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PI_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pi_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PI_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PI_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PI_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pi_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PI_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PI_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PI_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pi_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PI_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PI_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PI_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pi_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PI_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PI_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PI_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pa_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PA_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PA_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PA_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pa_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PA_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PA_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PA_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pa_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PA_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PA_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PA_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pa_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PA_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PA_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PA_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pa_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PA_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PA_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PA_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pl_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PL_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PL_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PL_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pl_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PL_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PL_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PL_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pl_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PL_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PL_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PL_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pk_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PK_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PK_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PK_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pk_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PK_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PK_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PK_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pp_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PP_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PP_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PP_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod pe_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PE_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PE_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PE_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pe_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PE_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PE_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PE_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pe_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PE_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PE_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PE_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pe_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PE_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PE_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PE_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pe_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PE_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PE_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PE_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pe_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PE_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PE_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PE_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pe_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PE_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PE_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PE_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pm_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PM_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PM_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PM_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pm_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PM_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PM_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PM_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pm_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PM_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PM_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PM_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pm_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PM_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PM_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PM_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pm_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PM_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PM_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PM_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pm_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PM_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PM_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PM_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pm_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PM_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PM_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PM_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod er_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_ER_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_ER_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_ER_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod er_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_ER_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_ER_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_ER_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod er_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_ER_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_ER_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_ER_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod er_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_ER_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_ER_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_ER_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ea_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EA_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EA_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EA_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ea_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EA_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EA_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EA_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ea_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EA_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EA_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EA_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ea_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EA_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EA_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EA_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod oe_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OE_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OE_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OE_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod oe_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OE_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OE_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OE_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod oe_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OE_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OE_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OE_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod oe_4a {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OE_4a_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OE_4a_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OE_4a_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod oe_4b {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OE_4b_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OE_4b_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OE_4b_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod oe_4c {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OE_4c_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OE_4c_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OE_4c_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cs_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CS_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CS_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CS_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cs_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CS_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CS_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CS_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cs_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CS_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CS_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CS_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cs_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CS_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CS_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CS_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cs_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CS_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CS_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CS_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cs_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CS_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CS_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CS_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cs_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CS_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CS_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CS_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fa_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FA_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FA_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FA_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod fa_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FA_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FA_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FA_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod fa_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FA_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FA_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FA_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod sw_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SW_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SW_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SW_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod sw_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SW_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SW_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SW_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod sw_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SW_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SW_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SW_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod sw_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SW_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SW_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SW_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ls_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_LS_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_LS_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_LS_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ls_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_LS_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_LS_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_LS_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ls_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_LS_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_LS_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_LS_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ls_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_LS_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_LS_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_LS_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod tj_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TJ_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TJ_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TJ_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod tj_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TJ_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TJ_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TJ_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod tj_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_TJ_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_TJ_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_TJ_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ap_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AP_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AP_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AP_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ap_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AP_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AP_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AP_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ap_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AP_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AP_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AP_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ec_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EC_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EC_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EC_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ec_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EC_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EC_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EC_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ec_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EC_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EC_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EC_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ec_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EC_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EC_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EC_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ec_4a {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EC_4a_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EC_4a_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EC_4a_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ec_4b {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EC_4b_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EC_4b_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EC_4b_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ec_4c {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EC_4c_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EC_4c_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EC_4c_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod ec_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_EC_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_EC_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_EC_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod da_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DA_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DA_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DA_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod da_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DA_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DA_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DA_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod da_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DA_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DA_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DA_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod da_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DA_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DA_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DA_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod da_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DA_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DA_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DA_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod da_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DA_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DA_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DA_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod da_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DA_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DA_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DA_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod in_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IN_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IN_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IN_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod in_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IN_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IN_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IN_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod in_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IN_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IN_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IN_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod in_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IN_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IN_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IN_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod in_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IN_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IN_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IN_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod in_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IN_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IN_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IN_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod in_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IN_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IN_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IN_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod in_8 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IN_8_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IN_8_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IN_8_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod in_9 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IN_9_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IN_9_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IN_9_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod as_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AS_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AS_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AS_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod as_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AS_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AS_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AS_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod as_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AS_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AS_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AS_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod as_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_AS_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_AS_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_AS_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/ComposedAlgebraic";
}
pub mod mo_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MO_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MO_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MO_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod mo_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MO_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MO_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MO_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod mo_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MO_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MO_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MO_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod mo_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MO_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MO_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MO_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod mo_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_MO_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_MO_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_MO_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod op_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OP_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OP_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OP_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod op_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OP_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OP_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OP_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod op_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OP_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OP_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OP_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod op_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OP_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OP_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OP_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod op_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_OP_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_OP_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_OP_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fx_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FX_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FX_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FX_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fx_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FX_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FX_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FX_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fx_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FX_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FX_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FX_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fx_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FX_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FX_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FX_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fx_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FX_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FX_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FX_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fx_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FX_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FX_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FX_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod fx_7 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FX_7_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FX_7_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FX_7_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pr_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PR_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PR_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PR_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pr_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PR_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PR_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PR_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pr_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PR_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PR_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PR_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pr_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PR_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PR_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PR_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod pr_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PR_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PR_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PR_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cg_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CG_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CG_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CG_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod cg_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_CG_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_CG_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_CG_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod dis_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DIS_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DIS_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DIS_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod dis_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_DIS_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_DIS_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_DIS_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod par_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PAR_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PAR_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PAR_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod par_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PAR_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PAR_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PAR_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod par_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PAR_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PAR_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PAR_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod par_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PAR_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PAR_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PAR_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod par_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_PAR_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_PAR_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_PAR_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ho_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HO_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HO_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HO_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ho_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HO_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HO_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HO_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ho_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HO_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HO_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HO_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ho_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_HO_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_HO_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_HO_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod str_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_STR_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_STR_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_STR_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod str_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_STR_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_STR_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_STR_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod str_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_STR_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_STR_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_STR_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod str_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_STR_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_STR_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_STR_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod str_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_STR_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_STR_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_STR_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod str_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_STR_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_STR_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_STR_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod flr_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FLR_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FLR_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FLR_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod flr_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FLR_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FLR_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FLR_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod flr_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FLR_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FLR_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FLR_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod flr_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FLR_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FLR_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FLR_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod flr_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FLR_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FLR_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FLR_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod flr_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_FLR_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_FLR_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_FLR_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ln_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_LN_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_LN_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_LN_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ln_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_LN_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_LN_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_LN_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ln_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_LN_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_LN_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_LN_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ln_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_LN_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_LN_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_LN_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ln_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_LN_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_LN_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_LN_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod ln_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_LN_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_LN_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_LN_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod sb_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SB_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SB_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SB_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod sb_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SB_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SB_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SB_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod sb_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SB_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SB_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SB_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod sb_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SB_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SB_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SB_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod sb_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SB_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SB_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SB_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod sb_6 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_SB_6_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_SB_6_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_SB_6_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod br_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_BR_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_BR_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_BR_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod br_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_BR_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_BR_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_BR_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod br_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_BR_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_BR_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_BR_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod br_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_BR_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_BR_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_BR_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod br_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_BR_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_BR_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_BR_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod rg_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_RG_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_RG_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_RG_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}
pub mod rg_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_RG_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_RG_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_RG_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod rg_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_RG_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_RG_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_RG_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod rg_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_RG_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_RG_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_RG_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod io_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IO_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IO_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IO_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod io_2 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IO_2_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IO_2_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IO_2_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod io_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IO_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IO_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IO_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod io_4 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IO_4_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IO_4_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IO_4_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
}
pub mod io_5 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IO_5_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IO_5_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IO_5_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ih_1 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IH_1_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IH_1_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IH_1_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
pub mod ih_2a {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IH_2a_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IH_2a_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IH_2a_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ih_2b {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IH_2b_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IH_2b_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IH_2b_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Analytical";
}
pub mod ih_3 {
pub const FOR_ALL: &str = "https://uor.foundation/schema/term_IH_3_forAll";
pub const LHS: &str = "https://uor.foundation/schema/term_IH_3_lhs";
pub const RHS: &str = "https://uor.foundation/schema/term_IH_3_rhs";
pub const UNIVERSALLY_VALID: bool = true;
pub const VALIDITY_KIND: &str = "https://uor.foundation/op/Universal";
pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
}
use crate::enums::PrimitiveOp;
impl PrimitiveOp {
#[must_use]
pub const fn arity(self) -> i64 {
match self {
Self::Neg => 1,
Self::Bnot => 1,
Self::Succ => 1,
Self::Pred => 1,
Self::Add => 2,
Self::Sub => 2,
Self::Mul => 2,
Self::Xor => 2,
Self::And => 2,
Self::Or => 2,
}
}
#[must_use]
pub const fn is_commutative(self) -> bool {
false
}
#[must_use]
pub const fn is_involution(self) -> bool {
false
}
#[must_use]
pub const fn has_geometric_character(self) -> crate::enums::GeometricCharacter {
match self {
Self::Neg => crate::enums::GeometricCharacter::RingReflection,
Self::Bnot => crate::enums::GeometricCharacter::HypercubeReflection,
Self::Succ => crate::enums::GeometricCharacter::Rotation,
Self::Pred => crate::enums::GeometricCharacter::RotationInverse,
Self::Add => crate::enums::GeometricCharacter::Translation,
Self::Sub => crate::enums::GeometricCharacter::Translation,
Self::Mul => crate::enums::GeometricCharacter::Scaling,
Self::Xor => crate::enums::GeometricCharacter::HypercubeTranslation,
Self::And => crate::enums::GeometricCharacter::HypercubeProjection,
Self::Or => crate::enums::GeometricCharacter::HypercubeJoin,
}
}
#[must_use]
pub const fn is_unary(self) -> bool {
self.arity() == 1
}
#[must_use]
pub const fn is_binary(self) -> bool {
self.arity() == 2
}
}