Module Snarkable.Bits

module type Lossy = sig ... end
module type Faithful = sig ... end
module type Small = sig ... end