re><code class="language-scala">@ f
res77: Term = ($btk : semigroup($amuwvdd)) ‚Ü¶ has_mul.mk($amuwvdd)(rec(semigroup($amuwvdd))(($amuwvdd ‚Üí ($amuwvdd ‚Üí $amuwvdd)))(($btu : ($amuwvdd ‚Üí ($amuwvdd ‚Üí $amuwvdd))) ‚Ü¶ ($crp : ‚àè($btv : $amuwvdd){ ‚àè($btw : $amuwvdd){ ‚àè($btx : $amuwvdd){ eq($amuwvdd)($btu($btu($btv)($btw))($btx))($btu($btv)($btu($btw)($btx))) } } }) ‚Ü¶ $btu)($btk))

@ x
res88: Term = semigroup.mk($amuwvdd)(rec(group($amuwvdd))(($amuwvdd ‚Üí