[−][src]Constant boolector_sys::BtorOption_BTOR_OPT_PROP_PROB_SLICE_KEEP_DC
pub const BtorOption_BTOR_OPT_PROP_PROB_SLICE_KEEP_DC: BtorOption
pub const BtorOption_BTOR_OPT_PROP_PROB_SLICE_KEEP_DC: BtorOption