Up – snarky » Snarky_backendless » As_prover » Make_ref_typ

Module `As_prover.Make_ref_typ`

Parameters
Signature

Parameters

module Checked : Monad_let.S2

Signature

val typ : ( 'a Ref0.t, 'a, 'b, ( unit, 'c ) Checked.t ) Types.Typ.typ