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

/seL4-l4v-10.1.1/HOL4/src/1/
H A Dmatch_goal.sig85 val ba : string -> pattern -> matcher value
H A Dmatch_goal.sml174 val ba = ab value

Completed in 34 milliseconds