import macros
import subtype
import optional
using subtype
using optional

namespace sum

set_opaque optional false
set_opaque subtype false
set_opaque some false
set_opaque optional::none false
set_opaque rep false
set_opaque subtype::abst false
set_opaque optional_pred false

end
