Idris2Doc : Geom.Gen2D.Rings

Geom.Gen2D.Rings

(source)

Definitions

placeRing : DebugFlag => Cast n Elem => Cast n Hybridization => IGraph k e n -> PlaceST s k => AttachPoint k -> List (Fin k) -> Subgraph k e n -> F1' s
Totality: total
Visibility: export