Up – snarky » Snarky_backendless » As_prover » Make » 1-Checked » Types » As_prover

Module `Types.As_prover`

type ('a, 'f) t