Idris2Doc : Geom.Gen2D.Rings

Geom.Gen2D.Rings

(source)

Definitions

placeRing : DebugFlag=>CastnElem=>CastnHybridization=>IGraphken->PlaceSTsk=>AttachPointk->List (Fink) ->Subgraphken->F1's
Totality: total
Visibility: export