extended simple types with polymorphism -- the implementation still needs some work though
(* Author: Andreas Lochbihler, KIT *)
header {* Add monad syntax for Csets *}
theory Cset_Monad
imports Cset Monad_Syntax
begin
setup {*
Adhoc_Overloading.add_variant @{const_name bind} @{const_name Cset.bind}
*}
end