Searched defs:ca (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dparse_addr.c20 int ca[10]; variable
/seL4-l4v-master/HOL4/src/1/
H A Dmatch_goal.sig104 val ca : pattern -> matcher value
H A Dmatch_goal.sml189 val ca = ac value
/seL4-l4v-master/HOL4/src/parse/
H A Dterm_tokens.sml20 val ca = Char.ord #"a" value
/seL4-l4v-master/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml

Completed in 162 milliseconds