Variants_of_dim (neural_nets_lib.Ocannl.Row.Variants_of

val var : (dim_var -> dim) Variantslib.Variant.t

val dim : (solved_dim -> dim) Variantslib.Variant.t

val conv_input : 
  (stride:Base.int ->
    output:dim ->
    dilation:Base.int ->
    kernel:dim ->
    dim)
    Variantslib.Variant.t

val fold : 
  init:'acc__0 ->
  var:('acc__0 -> (dim_var -> dim) Variantslib.Variant.t -> 'acc__1) ->
  dim:('acc__1 -> (solved_dim -> dim) Variantslib.Variant.t -> 'acc__2) ->
  conv_input:
    ('acc__2 ->
      (stride:Base.int ->
        output:dim ->
        dilation:Base.int ->
        kernel:dim ->
        dim)
        Variantslib.Variant.t ->
      'acc__3) ->
  'acc__3

val iter : 
  var:((dim_var -> dim) Variantslib.Variant.t -> Base.unit) ->
  dim:((solved_dim -> dim) Variantslib.Variant.t -> Base.unit) ->
  conv_input:
    ((stride:Base.int ->
       output:dim ->
       dilation:Base.int ->
       kernel:dim ->
       dim)
       Variantslib.Variant.t ->
      Base.unit) ->
  Base.unit

val map : 
  dim ->
  var:((dim_var -> dim) Variantslib.Variant.t -> dim_var -> 'result__) ->
  dim:((solved_dim -> dim) Variantslib.Variant.t -> solved_dim -> 'result__) ->
  conv_input:
    ((stride:Base.int ->
       output:dim ->
       dilation:Base.int ->
       kernel:dim ->
       dim)
       Variantslib.Variant.t ->
      stride:Base.int ->
      output:dim ->
      dilation:Base.int ->
      kernel:dim ->
      'result__) ->
  'result__

val make_matcher : 
  var:
    ((dim_var -> dim) Variantslib.Variant.t ->
      'acc__0 ->
      (dim_var -> 'result__) * 'acc__1) ->
  dim:
    ((solved_dim -> dim) Variantslib.Variant.t ->
      'acc__1 ->
      (solved_dim -> 'result__) * 'acc__2) ->
  conv_input:
    ((stride:Base.int ->
       output:dim ->
       dilation:Base.int ->
       kernel:dim ->
       dim)
       Variantslib.Variant.t ->
      'acc__2 ->
      (stride:Base.int ->
      output:dim ->
      dilation:Base.int ->
      kernel:dim ->
      'result__)
      * 'acc__3) ->
  'acc__0 ->
  (dim -> 'result__) * 'acc__3

val to_rank : dim -> Base.int

val to_name : dim -> Base.string

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