1 <div class='card card-xl' ng-class='{active: focus.full_name == definition.full_name}'
>
2 <div class='card-body'
>
3 <h5 class='text-muted'
>
4 <span ng-if='definition.is_intro'
>
5 <span class='glyphicon glyphicon-plus'
/> Introduction
</span>
7 <span ng-if='!definition.is_intro'
>
8 <span class='glyphicon glyphicon-asterisk'
/> Redefinition
</span>
10 <span ng-if='definition.mclass'
>
11 of
<entity-link mentity='definition.mclass'
/>
13 <span ng-if='definition.mproperty'
>
14 of
<entity-link mentity='definition.mproperty'
/>
16 <span ng-if='definition.mclassdef'
>
17 in
<entity-link mentity='definition.mmodule'
/>
18 ::
<entity-link mentity='definition.mclassdef'
/>
20 <span ng-if='!definition.mclassdef'
>
21 in
<entity-link mentity='definition.mmodule'
/>
24 <button class='btn btn-link' aria-expanded='false'
25 data-target='#{{codeId}}' ng-click='loadCardCode()'
26 aria-controls='{{codeId}}'
>
27 <span class='glyphicon glyphicon-console'
32 <div id='{{codeId}}' class='collapse'
>
33 <pre ng-bind-html='code'
/>
35 <entity-location mentity='definition'
/>