neural_nets_lib 0.3.3 (latest)

val dim_eq : (d1:dim -> d2:dim -> constraint_) Variantslib.Variant.t

val row_eq : (r1:t -> r2:t -> constraint_) Variantslib.Variant.t

val dim_ineq : (cur:dim -> subr:dim -> constraint_) Variantslib.Variant.t

val row_ineq : (cur:t -> subr:t -> constraint_) Variantslib.Variant.t

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

val row_constr : 
  (r:t -> constr:row_constraint -> constraint_) Variantslib.Variant.t

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

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

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

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

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

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

val to_rank : constraint_ -> Base.int

val to_name : constraint_ -> Base.string

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

package neural_nets_lib