Searched defs:Profile (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DProfile.sig1 signature Profile = signature
H A DProfile.sml1 structure Profile :> Profile = structure

Completed in 76 milliseconds