declare namespace org {
    namespace spongepowered {
        namespace api {
            namespace advancement {
                namespace criteria {
                    // @ts-ignore
                    interface CriterionProgress extends org.spongepowered.api.advancement.Progressable {
                        /**
                         * Gets the {@link AdvancementCriterion}.
                         */
                        // @ts-ignore
                         getCriterion(): org.spongepowered.api.advancement.criteria.AdvancementCriterion;
                    }
                }
            }
        }
    }
}
