Module Domains.Extend

module Make (D : Sig.Minimal) : Sig.Ext with module Context := D.Context and type boolean := D.boolean

module MakeForAADT (D : Memory_sig.AADT_WITH_BOOLEAN) : sig ... end