test-suite/output/Search.v


1
2
3
4
5

(* Some tests of the Search command *)

SearchHead le.				(* app nodes *)
SearchHead bool. 				(* no apps *)
SearchHead (@eq nat).			(* complex pattern *)