Checked (sgn.Sgn.Checked)

val constant : t -> var

val neg : var

val pos : var

val is_pos : var -> Snark_params.Tick.Boolean.var

val is_neg : var -> Snark_params.Tick.Boolean.var

val pos_if_true : Snark_params.Tick.Boolean.var -> var

val neg_if_true : Snark_params.Tick.Boolean.var -> var

val negate : var -> var

val if_ : 
  Snark_params.Tick.Boolean.var ->
  then_:var ->
  else_:var ->
  var Snark_params.Tick.Checked.t