Up
–
mina_transaction_logic
»
Mina_transaction_logic
»
Zkapp_command_logic
»
Make
»
1-Inputs
» Field
Module
1-Inputs.Field
type
t
val
if_ :
Bool.t
->
then_:
t
->
else_:
t
->
t