Module CsgSource

Sourcetype 'a boundary = {
  1. t : float;
  2. leaf : 'a;
  3. flipped : bool;
}
Sourcetype 'a interval = 'a boundary * 'a boundary
Sourcetype op =
  1. | Union
  2. | Inter
  3. | Diff
Sourceval combine : op -> 'a interval list -> 'a interval list -> 'a interval list
Sourceval inside : 'a interval list -> float -> bool