Module Domains.Lift_integer_domain_to_binary_domain

type size = int