import { Distance } from "./distance"; /** * Filter depth measurements that intersects a hole section with a chosen bit size or hole size. */ export interface DepthMeasurementHoleSectionFilter { bitSize?: Distance; holeSize?: Distance; }