--- /dev/null
+import "Simantics/DB"\r
+\r
+importJava "org.simantics.backup.IBackupProvider" where\r
+ data IBackupProvider\r
+\r
+importJava "org.simantics.backup.db.ModelledBackup" where\r
+ modelledBackup :: \r
+ (<e> ()) -> \r
+ (String -> Integer -> <e> (() -> <e> Maybe String)) -> \r
+ (<e> ()) -> \r
+ (String -> Integer -> <e> ()) -> \r
+ <Proc> IBackupProvider\r
+ \r
+importJava "org.simantics.backup.BackupProviderService" where\r
+ backup :: String -> Integer -> <Proc> ()
\ No newline at end of file