hole::flatFunction in std::hole

hole::flat()

// `hole` module is still experimental, so enable experimental features here.
@settings(experimentalFeatures = allow)

// Sketch a cube, so we have something to drill into.
cubeLen = 20
bigCube = startSketchOn(XY)
  |> startProfile(at = [-cubeLen / 2, -cubeLen / 2 + 10])
  |> line(end = [cubeLen, 0], tag = $a)
  |> line(end = [0, cubeLen], tag = $b)
  |> line(end = [-cubeLen, 0], tag = $c)
  |> line(end = [0, -cubeLen], tag = $d)
  |> close()
  |> extrude(length = cubeLen, symmetric = true)

// Add a hole with a flat bottom.
bigCube
  |> hole::hole(
       face = a,
       cutAt = [0, 0],
       holeBottom = hole::flat(),
       holeBody = hole::blind(depth = 2, diameter = 8),
       holeType = hole::simple(),
     )