Home
last modified time | relevance | path

Searched refs:OC_mkArrowType (Results 1 – 1 of 1) sorted by relevance

/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/tables_gen/pervasives/
H A Docamlcode.c114 static char* OC_mkArrowType(char* ty1, char* ty2) in OC_mkArrowType() function
377 char* arrowType = OC_mkArrowType(kindType, "bool"); in OC_mkIsKindFuncDec()
728 char* arrowType = OC_mkArrowType(constType, "bool"); in OC_mkIsConstFuncDec()