Module Domains.Integer2binary

type size = int

module 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