Lines Matching refs:Type
740 help(Type:Name/Arity) :-
741 (var(Type) -> true; atom(Type)),
745 findall(Bip, find_match(Type, Name, Arity, Bip), List),
783 find_match(Type, Name, Arity, Bip) :- % find bip matching Pred
786 Bip = bip(Name, BipArity, _, Type, _),
794 BipInfo = bip(Name, Arity, System, Type, _),
798 concat_string([Dir,'/doc/bips/',System,/,Type,/,File,'.txt'], HelpFile),
821 printf("In library %w: %w/%w%n", [Type, Name, Arity]),
827 ((MatchType == full, delete(bip(Name,Arity, kernel, Type, File), List0, List1)) ->
829 print_help([bip(Name,Arity, kernel, Type, File)], full)
838 BipInfo = bip(Name, Arity, System, Type, _),
841 concat_string([Dir,'/doc/bips/',System,/,Type,/,File,'.txt'], HelpFile),
845 ; printf("In library %w: ", [Type]) ),
854 printf("In library %w: %w/%w%n", [Type, Name, Arity]),