Record Class ConfigP15Filter

java.lang.Object
java.lang.Record
tech.deplant.java4ever.binding.gql.ConfigP15Filter

public record ConfigP15Filter(FloatFilter elections_end_before, FloatFilter elections_start_before, FloatFilter stake_held_for, FloatFilter validators_elected_for, ConfigP15Filter OR) extends Record
Election parameters;