Idris2Doc : Geom.Gen2D.Generate

Geom.Gen2D.Generate

(source)

Definitions

coordinates : DebugFlag=>CastnElem=>CastnHybridization=>IGraphken->IGraphke (MolPoint, n)
Totality: total
Visibility: export