Module rustre_core::checks

Collection of random checks that must be run for a program to be valid

All of them should be directly or indirectly called by rustre_core::check

Functions

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