pub trait OpSchema {
// Required methods
fn op_type(&self) -> OpType;
fn metadata(&self) -> SemId;
fn globals(&self) -> &GlobalSchema;
fn inputs(&self) -> Option<&TinyOrdMap<AssignmentType, Occurrences>>;
fn redeems(&self) -> Option<&ValencySchema>;
fn assignments(&self) -> &AssignmentsSchema;
fn valencies(&self) -> &ValencySchema;
}
Expand description
Trait defining common API for all operation type schemata