Signed_command_memo.Checked
type unchecked = t
type t = private Snark_params.Tick.Boolean.var array
val constant : unchecked -> t