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