Snarky_intf.Vector
module type S = sig ... end
module type S_binable = sig ... end
module type S_binable_sexpable = sig ... end