hardcaml_xilinx v0.15.0 · OCaml Package

val iter : 
  underlying_memory ->
  data_width:
    ((underlying_memory, Base.int) Fieldslib.Field.t ->
      underlying_memory ->
      Base.int ->
      Base.unit) ->
  cascade_height:
    ((underlying_memory, Cascade_height.t) Fieldslib.Field.t ->
      underlying_memory ->
      Cascade_height.t ->
      Base.unit) ->
  how_to_instantiate_ram:
    ((underlying_memory, how_to_instantiate_ram) Fieldslib.Field.t ->
      underlying_memory ->
      how_to_instantiate_ram ->
      Base.unit) ->
  Base.unit

val fold : 
  underlying_memory ->
  init:'acc__0 ->
  data_width:
    ('acc__0 ->
      (underlying_memory, Base.int) Fieldslib.Field.t ->
      underlying_memory ->
      Base.int ->
      'acc__1) ->
  cascade_height:
    ('acc__1 ->
      (underlying_memory, Cascade_height.t) Fieldslib.Field.t ->
      underlying_memory ->
      Cascade_height.t ->
      'acc__2) ->
  how_to_instantiate_ram:
    ('acc__2 ->
      (underlying_memory, how_to_instantiate_ram) Fieldslib.Field.t ->
      underlying_memory ->
      how_to_instantiate_ram ->
      'acc__3) ->
  'acc__3

val for_all : 
  underlying_memory ->
  data_width:
    ((underlying_memory, Base.int) Fieldslib.Field.t ->
      underlying_memory ->
      Base.int ->
      Base.bool) ->
  cascade_height:
    ((underlying_memory, Cascade_height.t) Fieldslib.Field.t ->
      underlying_memory ->
      Cascade_height.t ->
      Base.bool) ->
  how_to_instantiate_ram:
    ((underlying_memory, how_to_instantiate_ram) Fieldslib.Field.t ->
      underlying_memory ->
      how_to_instantiate_ram ->
      Base.bool) ->
  Base.bool

val exists : 
  underlying_memory ->
  data_width:
    ((underlying_memory, Base.int) Fieldslib.Field.t ->
      underlying_memory ->
      Base.int ->
      Base.bool) ->
  cascade_height:
    ((underlying_memory, Cascade_height.t) Fieldslib.Field.t ->
      underlying_memory ->
      Cascade_height.t ->
      Base.bool) ->
  how_to_instantiate_ram:
    ((underlying_memory, how_to_instantiate_ram) Fieldslib.Field.t ->
      underlying_memory ->
      how_to_instantiate_ram ->
      Base.bool) ->
  Base.bool

val to_list : 
  underlying_memory ->
  data_width:
    ((underlying_memory, Base.int) Fieldslib.Field.t ->
      underlying_memory ->
      Base.int ->
      'elem__) ->
  cascade_height:
    ((underlying_memory, Cascade_height.t) Fieldslib.Field.t ->
      underlying_memory ->
      Cascade_height.t ->
      'elem__) ->
  how_to_instantiate_ram:
    ((underlying_memory, how_to_instantiate_ram) Fieldslib.Field.t ->
      underlying_memory ->
      how_to_instantiate_ram ->
      'elem__) ->
  'elem__ Base.list

val map : 
  underlying_memory ->
  data_width:
    ((underlying_memory, Base.int) Fieldslib.Field.t ->
      underlying_memory ->
      Base.int ->
      Base.int) ->
  cascade_height:
    ((underlying_memory, Cascade_height.t) Fieldslib.Field.t ->
      underlying_memory ->
      Cascade_height.t ->
      Cascade_height.t) ->
  how_to_instantiate_ram:
    ((underlying_memory, how_to_instantiate_ram) Fieldslib.Field.t ->
      underlying_memory ->
      how_to_instantiate_ram ->
      how_to_instantiate_ram) ->
  underlying_memory

val set_all_mutable_fields : underlying_memory -> Base.unit

package hardcaml_xilinx