Searched defs:is_var (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DFinalTerm-sig.sml49 val is_var : term -> bool value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibTerm.sig33 val is_var : term -> bool value
H A DmlibTerm.sml44 val is_var = can dest_var; value
/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py438 def is_var (self, (nm, typ)): member in class:Expr
/seL4-l4v-10.1.1/HOL4/src/0/
H A DTerm.sml120 fun is_var (Fv _) = true | is_var _ = false; function
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DTerm.sml107 fun is_var (Var _) = true | is_var _ = false function

Completed in 169 milliseconds