def p_ensures_ensures_expr(p):
    p[0] = p[2]
Initialize the underlying control.
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_ensures_ensures_expr--crossover with--dataset/ETHPy150Open ContinuumIO/ashiba/enaml/enaml/qt/qt_splitter.py/QtSplitter.init_widget