vstte12_combinators_Combinators_VC_reduction_1.v 3.52 KB