Module type `Snarkable.S`

type var

type value

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