Nick Mathewson 81a1f378a5 Replace the last user of caret_enum with caret_int. ... This lets us remove caret_enum entirely.		2021-05-25 14:12:21 -04:00
..
example_int.rs	Replace the last user of caret_enum with caret_int.	2021-05-25 14:12:21 -04:00