SchemeDT:Spring-back-options
From DocR23
Action
A spring-back-options data type is used to set options as input to the entity:spring-back extension.
Derivation
spring-back-options : scheme-object
C++
External Rep
#[spring-back-options: do-check-fairness = %s, check-result-mode = %s ]
where the "do-check-fairness string is "#t" or "#f", and the "check-result-mode" string is "fail", "warn", or "none".
