Idris2Doc : Text.Molfile.Writer.V3000

Text.Molfile.Writer.V3000

(source)
Definitions
dispStereoV3 : BondStereo -> String
  Totality: total
  Visibility: export
putMol3000 : Builder q => List (Edge k MolBond) -> MolGraph' h t c -> F1' q
  Totality: total
  Visibility: export