A.12 library(dcg/basics): Various general DCG utilities
All Application Manual Name SummaryHelp

Availability::- use_module(library(dcg/basics)).
Source[semidet]xdigit(-Weight)//
True if the next code is a hexdecimal digit with Weight. Weight is between 0 and 15. Hexadecimal characters include both uppercase (A-F) and lowercase (a-f) letters.
ClioPatria (version V3.1.1-51-ga0b30a5)