Up – snarky » Snarky_backendless » Checked_ast » Types » As_prover

Module `Types.As_prover`

type ('a, 'f) t = ( 'a, 'f ) As_prover0.t