Definitions Found:

small picklike tool with two cutting edges for trimming brick