T (snarky.Snarky_backendless.Constraint.T)

val create_basic : 
  ?label:Base.string ->
  ( 'a, 'b ) basic ->
  ( 'a, 'b ) basic_with_annotation

val override_label : 
  ( 'a, 'b ) basic_with_annotation ->
  Base.string option ->
  ( 'c, 'd ) basic_with_annotation

val equal : ?label:Base.string -> 'a -> 'b -> ( 'c, 'd ) basic_with_annotation

val boolean : ?label:Base.string -> 'a -> ( 'b, 'c ) basic_with_annotation

val r1cs : 
  ?label:Base.string ->
  'a ->
  'b ->
  'c ->
  ( 'd, 'e ) basic_with_annotation

val square : ?label:Base.string -> 'a -> 'b -> ( 'c, 'd ) basic_with_annotation

val annotation : ( 'a, 'b ) t -> Base.string