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

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dparse_struct.c104 typedef struct monstrous { struct
/seL4-l4v-10.1.1/HOL4/examples/lambda/barendregt/
H A Dnormal_orderScript.sml16 This relation is a bit monstrous really. In particular, nice

Completed in 36 milliseconds