Variants_of_constraint_ (neural_nets_lib.Ocannl_tensor.Row.Variants_of_constraint

val dim_eq : 
  (d1:dim ->
    d2:dim ->
    origin:constraint_origin Base.list ->
    constraint_)
    Variantslib.Variant.t

val row_eq : 
  (r1:t ->
    r2:t ->
    origin:constraint_origin Base.list ->
    constraint_)
    Variantslib.Variant.t

val dim_ineq : 
  (cur:dim ->
    subr:dim ->
    origin:constraint_origin Base.list ->
    constraint_)
    Variantslib.Variant.t

val row_ineq : 
  (cur:t ->
    subr:t ->
    origin:constraint_origin Base.list ->
    constraint_)
    Variantslib.Variant.t

val dim_constr : 
  (d:dim ->
    constr:dim_constraint ->
    origin:constraint_origin Base.list ->
    constraint_)
    Variantslib.Variant.t

val rows_constr : 
  (r:t Base.list ->
    constr:row_constraint ->
    origin:constraint_origin Base.list ->
    constraint_)
    Variantslib.Variant.t

val terminal_dim : 
  (dim -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t

val terminal_row : 
  (t -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t

val shape_row : 
  (t -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t

val fold : 
  init:'acc__0 ->
  dim_eq:
    ('acc__0 ->
      (d1:dim ->
        d2:dim ->
        origin:constraint_origin Base.list ->
        constraint_)
        Variantslib.Variant.t ->
      'acc__1) ->
  row_eq:
    ('acc__1 ->
      (r1:t ->
        r2:t ->
        origin:constraint_origin Base.list ->
        constraint_)
        Variantslib.Variant.t ->
      'acc__2) ->
  dim_ineq:
    ('acc__2 ->
      (cur:dim ->
        subr:dim ->
        origin:constraint_origin Base.list ->
        constraint_)
        Variantslib.Variant.t ->
      'acc__3) ->
  row_ineq:
    ('acc__3 ->
      (cur:t ->
        subr:t ->
        origin:constraint_origin Base.list ->
        constraint_)
        Variantslib.Variant.t ->
      'acc__4) ->
  dim_constr:
    ('acc__4 ->
      (d:dim ->
        constr:dim_constraint ->
        origin:constraint_origin Base.list ->
        constraint_)
        Variantslib.Variant.t ->
      'acc__5) ->
  rows_constr:
    ('acc__5 ->
      (r:t Base.list ->
        constr:row_constraint ->
        origin:constraint_origin Base.list ->
        constraint_)
        Variantslib.Variant.t ->
      'acc__6) ->
  terminal_dim:
    ('acc__6 ->
      (dim -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t ->
      'acc__7) ->
  terminal_row:
    ('acc__7 ->
      (t -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t ->
      'acc__8) ->
  shape_row:
    ('acc__8 ->
      (t -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t ->
      'acc__9) ->
  'acc__9

val iter : 
  dim_eq:
    ((d1:dim ->
       d2:dim ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      Base.unit) ->
  row_eq:
    ((r1:t ->
       r2:t ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      Base.unit) ->
  dim_ineq:
    ((cur:dim ->
       subr:dim ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      Base.unit) ->
  row_ineq:
    ((cur:t ->
       subr:t ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      Base.unit) ->
  dim_constr:
    ((d:dim ->
       constr:dim_constraint ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      Base.unit) ->
  rows_constr:
    ((r:t Base.list ->
       constr:row_constraint ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      Base.unit) ->
  terminal_dim:
    ((dim -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t ->
      Base.unit) ->
  terminal_row:
    ((t -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t ->
      Base.unit) ->
  shape_row:
    ((t -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t ->
      Base.unit) ->
  Base.unit

val map : 
  constraint_ ->
  dim_eq:
    ((d1:dim ->
       d2:dim ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      d1:dim ->
      d2:dim ->
      origin:constraint_origin Base.list ->
      'result__) ->
  row_eq:
    ((r1:t ->
       r2:t ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      r1:t ->
      r2:t ->
      origin:constraint_origin Base.list ->
      'result__) ->
  dim_ineq:
    ((cur:dim ->
       subr:dim ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      cur:dim ->
      subr:dim ->
      origin:constraint_origin Base.list ->
      'result__) ->
  row_ineq:
    ((cur:t ->
       subr:t ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      cur:t ->
      subr:t ->
      origin:constraint_origin Base.list ->
      'result__) ->
  dim_constr:
    ((d:dim ->
       constr:dim_constraint ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      d:dim ->
      constr:dim_constraint ->
      origin:constraint_origin Base.list ->
      'result__) ->
  rows_constr:
    ((r:t Base.list ->
       constr:row_constraint ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      r:t Base.list ->
      constr:row_constraint ->
      origin:constraint_origin Base.list ->
      'result__) ->
  terminal_dim:
    ((dim -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t ->
      dim ->
      constraint_origin Base.list ->
      'result__) ->
  terminal_row:
    ((t -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t ->
      t ->
      constraint_origin Base.list ->
      'result__) ->
  shape_row:
    ((t -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t ->
      t ->
      constraint_origin Base.list ->
      'result__) ->
  'result__

val make_matcher : 
  dim_eq:
    ((d1:dim ->
       d2:dim ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      'acc__0 ->
      (d1:dim ->
      d2:dim ->
      origin:constraint_origin Base.list ->
      'result__)
      * 'acc__1) ->
  row_eq:
    ((r1:t ->
       r2:t ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      'acc__1 ->
      (r1:t ->
      r2:t ->
      origin:constraint_origin Base.list ->
      'result__)
      * 'acc__2) ->
  dim_ineq:
    ((cur:dim ->
       subr:dim ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      'acc__2 ->
      (cur:dim ->
      subr:dim ->
      origin:constraint_origin Base.list ->
      'result__)
      * 'acc__3) ->
  row_ineq:
    ((cur:t ->
       subr:t ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      'acc__3 ->
      (cur:t ->
      subr:t ->
      origin:constraint_origin Base.list ->
      'result__)
      * 'acc__4) ->
  dim_constr:
    ((d:dim ->
       constr:dim_constraint ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      'acc__4 ->
      (d:dim ->
      constr:dim_constraint ->
      origin:constraint_origin Base.list ->
      'result__)
      * 'acc__5) ->
  rows_constr:
    ((r:t Base.list ->
       constr:row_constraint ->
       origin:constraint_origin Base.list ->
       constraint_)
       Variantslib.Variant.t ->
      'acc__5 ->
      (r:t Base.list ->
      constr:row_constraint ->
      origin:constraint_origin Base.list ->
      'result__)
      * 'acc__6) ->
  terminal_dim:
    ((dim -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t ->
      'acc__6 ->
      (dim -> constraint_origin Base.list -> 'result__) * 'acc__7) ->
  terminal_row:
    ((t -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t ->
      'acc__7 ->
      (t -> constraint_origin Base.list -> 'result__) * 'acc__8) ->
  shape_row:
    ((t -> constraint_origin Base.list -> constraint_) Variantslib.Variant.t ->
      'acc__8 ->
      (t -> constraint_origin Base.list -> 'result__) * 'acc__9) ->
  'acc__0 ->
  (constraint_ -> 'result__) * 'acc__9

val to_rank : constraint_ -> Base.int

val to_name : constraint_ -> Base.string

val descriptions : (Base.string * Base.int) Base.list