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

/seL4-l4v-10.1.1/HOL4/src/list/examples/
H A Dtest.sml400 type_spec=`List = Nil | CCC of 'a => List`,
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure4617 if test -n "$CCC"; then
4618 CXX=$CCC
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure852 CCC
13186 if test -n "$CCC"; then
13187 CXX=$CCC

Completed in 84 milliseconds