module type Diagram = module type of MakeDiagram (struct let env = assert false end)
module type of MakeDiagram (struct let env = assert false end)