Module type `Snarkable.S`

type var

type value

val typ : ( var, value ) Crypto_params.Tock.Typ.t