Up
–
snark_params
»
Snark_params
»
Make_snarkable
» S
Module type
Make_snarkable.S
type
var
type
value
val
typ :
(
var
,
value
)
Impl.Typ.t