Idris2Doc : Geom.Gen2D.Generate

Geom.Gen2D.Generate

(source)

Definitions

coordinates : DebugFlag => Cast n Elem => Cast n Hybridization => IGraph k e n -> IGraph k e (MolPoint, n)
Totality: total
Visibility: export