1 (* ========================================================================== *)
2 (* FLYSPECK - BOOK FORMALIZATION *)
4 (* Definition: NOPZSEH *)
6 (* Author: Thomas C. Hales *)
7 (* Date: Feb 14, 2010 *)
8 (* ========================================================================== *)
11 In the text `vor_list` is written with a bar under `voronoi_list` bar V k
17 module type Nopzseh_def_type = sig
21 flyspeck_needs "general/sphere.hl";;
23 module Nopzseh : Nopzseh_def_type = struct
25 let NOPZSEH = Sphere.BARV;;