tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF;
theory Abs_Int_init
imports "HOL-Library.While_Combinator"
"HOL-Library.Extended"
Vars Collecting Abs_Int_Tests
begin
hide_const (open) top bot dom \<comment> \<open>to avoid qualified names\<close>
end