Searched defs:Tag (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DTag.sig1 signature Tag = signature
H A DTag.sml10 structure Tag :> Tag = structure
/seL4-l4v-10.1.1/HOL4/src/thm/
H A DOverlay.sml20 structure Tag = Tag :> FinalTag where type tag = Tag.tag structure

Completed in 119 milliseconds