Domains.Integer2binarySourcemodule Make
(I : Sig.BASE_WITH_INTEGER) :
Sig.BASE_WITH_INTEGER
with type binary = I.integer
and type boolean = I.boolean
and type integer = I.integer
and module Context = I.Context
and module Integer_Query = I.Integer_Query