Options for the pocket() compound operation.
Depth of the pocket cut.
Optional
Which face to pocket. Default: top face.
2D profile shape to cut into the face.
Options for the pocket() compound operation.