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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolystring.h115 extern Handle strconcatc(TaskData *mdTaskData, Handle x, Handle y);
H A Dpolystring.cpp291 Handle strconcatc(TaskData *mdTaskData, Handle y, Handle x) function
H A Dprocess_env.cpp463 /* N.B. The arguments to strconcatc are in reverse. */
464 else return strconcatc(mdTaskData,

Completed in 81 milliseconds