Lines Matching defs:domain
382 defined domain.
826 defined domain.
3151 val domain = fst o dom_rng
3161 val dom = domain ty
3181 let val ty1 = (domain o type_of) opp
3199 let val ty1 = (domain o domain o type_of) opp
3211 let val ty1 = (domain o type_of) opp
3218 let val ty1 = (domain o domain o type_of) opp
3230 let val ty1 = (domain o domain o type_of) opp
3237 let val ty1 = (domain o type_of) opp
3247 let val ty1 = (domain o type_of) opp