Searched refs:indent_push (Results 1 – 1 of 1) sorted by relevance
1866 indent_push(const char *s) in indent_push() function1878 indent_push(s); in indent_set()3720 indent_push(" E"); in mark_arrows()3746 indent_push(" E"); in mark_arrows()3772 indent_push(" E"); in effects_test()3860 indent_push(" R"); in requirements_test()4056 indent_push(" C"); in causes_test()4163 indent_push(" H"); in hypothesise()