Function rustre_core::checks::check_arity

pub fn check_arity(db: &Database, node: NodeNode) -> Rc<()>

Checks that the number of params and return params is strictly greater than 0

For some weird reason, Lustre imposes this restriction, not least in its very grammar. The parser accepts an arity of zero, but the check needs to be done later for spec compliance.