// check: no struct definition referencing in scripts

module Token {
    resource T { }
    public new(): R#Self.T {
        return T{ };
    }
}

//! new-transaction

import {{default}}.Token;

main() {
    let sender: address;
    let yes: bool;

    sender = get_txn_sender();
    yes = exists<T>(copy(sender));
    return;
}