ment"><div class="comment cmt"><p>The type over which this evidence is defined. Any element on which this evidence is asserted must also be over this type.</p></div><dl class="attributes block"> <dt>Definition Classes</dt><dd><a href="Evidence.html" class="extype" name="com.cra.figaro.language.Evidence">Evidence</a></dd></dl></div>
    </li></ol>
            </div>

        

        <div class="values members">
              <h3>Value Members</h3>
              <ol>
                <li name="scala.AnyRef#!