import "Simantics/DB"

importJava "org.simantics.diagram.svg.export.DiagramToSVG" where
   diagramToSVG :: Resource -> <Proc> String
   @JavaName diagramToSVG
   diagramToSVGdpi :: Resource -> Double -> <Proc> String
   @JavaName diagramToSVG
   diagramToSVGsize :: Resource -> Integer -> Integer -> <Proc> String