Classes
IntervalConfig([description, doc, implicit, ...])
IntervalConfig
Configuration options for the FBBT IntervalTightener
IntervalTightener()
IntervalTightener