package hardcaml_xilinx

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val fold : inferred_memory -> init:'acc__0 -> rtl_attributes: ('acc__0 -> (inferred_memory, Hardcaml.Rtl_attribute.t Base.list Base.option) Fieldslib.Field.t -> inferred_memory -> Hardcaml.Rtl_attribute.t Base.list Base.option -> 'acc__1) -> rw_order: ('acc__1 -> (inferred_memory, [ `Wbr | `Rbw ]) Fieldslib.Field.t -> inferred_memory -> [ `Wbr | `Rbw ] -> 'acc__2) -> 'acc__2
val to_list : inferred_memory -> rtl_attributes: ((inferred_memory, Hardcaml.Rtl_attribute.t Base.list Base.option) Fieldslib.Field.t -> inferred_memory -> Hardcaml.Rtl_attribute.t Base.list Base.option -> 'elem__) -> rw_order: ((inferred_memory, [ `Wbr | `Rbw ]) Fieldslib.Field.t -> inferred_memory -> [ `Wbr | `Rbw ] -> 'elem__) -> 'elem__ Base.list
val set_all_mutable_fields : inferred_memory -> Base.unit