Bits_intf.Snarkable
module type Basic = sig ... end
module type Lossy = sig ... end
module type Faithful = sig ... end
module type Small = sig ... end