Idris2Doc : CyBy.Draw.Residue
Definitions
residue : Residue -> Info- Totality: total
Visibility: public export symbol : Residue -> String- Totality: total
Visibility: public export name : Residue -> String- Totality: total
Visibility: public export polar : Residue -> Bool- Totality: total
Visibility: public export aminoColor : Residue -> String- Totality: total
Visibility: public export shaplyColor : Residue -> String- Totality: total
Visibility: public export