gground.Context.introduce.U" class="extype">U</span>]</span>]</span><span class="params">(<span name="t">t: <span name="provingground.Context.introduce.U" class="extype">U</span></span>, <span name="role">role: <a href="Context$$Role.html" name="provingground.Context.Role" id="provingground.Context.Role" class="extype">Role</a> = <span class="symbol"><span class="name"><a href="Context$.html">Consider</a></span></span></span>)</span><span class="result">: <a href="Context$$AppendTerm.html" name="provinggrou