pub fn rule<const N: usize>(args: [TypeInner; N], ret: TypeInner) -> Rule
Construct a Rule for an operation with the given argument types and return type.
Rule