Function varisat::prop::watch::enable_watchlists

pub fn enable_watchlists(
    ctx: Const<ClauseDbP, Const<ClauseAllocP, Mut<WatchlistsP, Ref<Context>>>>
)

Enable and rebuild watchlists.