Module Stack_frame.Checked

type nonrec 'zkapp_command t = ( Token_id.Checked.t, 'zkapp_command ) t
val if_ : ( Pickles.Impls.Step.Boolean.var -> then_:'a -> else_:'b -> 'c ) -> Pickles.Impls.Step.Boolean.var -> then_:( Token_id.Checked.t, 'd ) t -> else_:( Token_id.Checked.t, 'e ) t -> 'f t