def p_invariants(p):
    p[0] = []
.. todo::
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_invariants--crossover with--dataset/ETHPy150Open lisa-lab/pylearn2/pylearn2/datasets/avicenna.py/Avicenna.get_design_matrix