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

/seL4-l4v-master/HOL4/src/metis/
H A DmlibTerm.sig37 val fn_name : term -> string value
H A DmlibTerm.sml53 val fn_name = fst o dest_fn; value

Completed in 28 milliseconds