Searched refs:MAXSIMPLEARITY (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/
H A Dec_public.h156 #define MAXSIMPLEARITY 8 /* Max arity of a simple predicate */ macro
157 #define NARGREGS (1/*A0*/ + MAXARITY + MAXSIMPLEARITY + 3/*metacall*/)

Completed in 78 milliseconds