Variants_of_pipeline_violation (arrayjit.Ir.Schedule.Variants_of_pipeline

val read_outside_rotor : 
  (tile:Tn.t ->
    rotor:Indexing.symbol ->
    pipeline_violation)
    Variantslib.Variant.t

val rotor_not_serial : 
  (tile:Tn.t ->
    rotor:Indexing.symbol ->
    axis:Low_level.axis_type ->
    pipeline_violation)
    Variantslib.Variant.t

val fold : 
  init:'acc__0 ->
  read_outside_rotor:
    ('acc__0 ->
      (tile:Tn.t ->
        rotor:Indexing.symbol ->
        pipeline_violation)
        Variantslib.Variant.t ->
      'acc__1) ->
  rotor_not_serial:
    ('acc__1 ->
      (tile:Tn.t ->
        rotor:Indexing.symbol ->
        axis:Low_level.axis_type ->
        pipeline_violation)
        Variantslib.Variant.t ->
      'acc__2) ->
  'acc__2

val iter : 
  read_outside_rotor:
    ((tile:Tn.t ->
       rotor:Indexing.symbol ->
       pipeline_violation)
       Variantslib.Variant.t ->
      Base.unit) ->
  rotor_not_serial:
    ((tile:Tn.t ->
       rotor:Indexing.symbol ->
       axis:Low_level.axis_type ->
       pipeline_violation)
       Variantslib.Variant.t ->
      Base.unit) ->
  Base.unit

val map : 
  pipeline_violation ->
  read_outside_rotor:
    ((tile:Tn.t ->
       rotor:Indexing.symbol ->
       pipeline_violation)
       Variantslib.Variant.t ->
      tile:Tn.t ->
      rotor:Indexing.symbol ->
      'result__) ->
  rotor_not_serial:
    ((tile:Tn.t ->
       rotor:Indexing.symbol ->
       axis:Low_level.axis_type ->
       pipeline_violation)
       Variantslib.Variant.t ->
      tile:Tn.t ->
      rotor:Indexing.symbol ->
      axis:Low_level.axis_type ->
      'result__) ->
  'result__

val make_matcher : 
  read_outside_rotor:
    ((tile:Tn.t ->
       rotor:Indexing.symbol ->
       pipeline_violation)
       Variantslib.Variant.t ->
      'acc__0 ->
      (tile:Tn.t -> rotor:Indexing.symbol -> 'result__) * 'acc__1) ->
  rotor_not_serial:
    ((tile:Tn.t ->
       rotor:Indexing.symbol ->
       axis:Low_level.axis_type ->
       pipeline_violation)
       Variantslib.Variant.t ->
      'acc__1 ->
      (tile:Tn.t ->
      rotor:Indexing.symbol ->
      axis:Low_level.axis_type ->
      'result__)
      * 'acc__2) ->
  'acc__0 ->
  (pipeline_violation -> 'result__) * 'acc__2

val to_rank : pipeline_violation -> Base.int

val to_name : pipeline_violation -> Base.string

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