Lines Matching refs:Type
1250 existing_path(Path, Type) :-
1256 Type = dir
1258 Type = file
2566 is_macro(Type, Pred, List, PredModule, Module) :-
2569 is_macro(Type, Pred, List, PredModule, Module, Prop).
3046 check_var_or_partial_macro_spec(type(Type)) :- !,
3047 check_var_or_type(Type).
3223 local_body(array(Name,Type), M) :-
3225 make_array_(Name, Type, local, M), !.
3296 global_item(array(Name,Type), M) :-
3297 make_array_(Name, Type, global, M), !.
4398 same_annotation(TermIn, annotated_term(TermIn,Type,File,Line,From,To),
4399 TermOut, annotated_term(TermOut,Type,File,Line,From,To)).