Up
–
snarky
»
Snarky_backendless
»
Types
» As_prover
Module
Types.As_prover
type
('a, 'f) t
=
(
'f
Cvar.t
->
'f
)
->
'a