Criterion
Link to criterion
Importing the class
Link to importing-the-class
It might be required for you to import the package if you encounter any issues (like casting an Array), so better be safe than sorry and add the import at the very top of the file.
ZenScript Copyimport crafttweaker.api.advancement.Criterion;
Extending Record
Link to extending-record
Criterion extends Record. That means all methods available in Record are also available in Criterion