import "Simantics/DB"

importJava "org.simantics.backup.IBackupProvider" where
    data IBackupProvider

importJava "org.simantics.backup.db.ModelledBackup" where
    modelledBackup :: 
      (<e> ()) -> 
      (String -> Integer -> <e> (() -> <e> Maybe String)) -> 
      (<e> ()) -> 
      (String -> Integer -> <e> ()) -> 
      <Proc> IBackupProvider
    
importJava "org.simantics.backup.BackupProviderService" where
    backup :: String -> Integer -> <Proc> ()