// flag: --dependency=tests/sources/functional/script_provider.move
script {
use 0x1::ScriptProvider;


fun main<Token: store>(account: signer) {
    ScriptProvider::register<Token>(&account);
}

spec main {
    include ScriptProvider::RegisterConditions<Token>;
}
}