Variants_of_mutable_list (arrayjit.Utils.Variants_of_mutable

val empty : 'a Utils__.Datatypes.mutable_list Variantslib.Variant.t

val cons : 
  (hd:'a ->
    tl:'a Utils__.Datatypes.mutable_list ->
    'a Utils__.Datatypes.mutable_list)
    Variantslib.Variant.t

val fold : 
  init:'a ->
  empty:('a -> 'b Utils__.Datatypes.mutable_list Variantslib.Variant.t -> 'c) ->
  cons:
    ('c ->
      (hd:'d ->
        tl:'d Utils__.Datatypes.mutable_list ->
        'd Utils__.Datatypes.mutable_list)
        Variantslib.Variant.t ->
      'e) ->
  'e

val iter : 
  empty:('a Utils__.Datatypes.mutable_list Variantslib.Variant.t -> Base.unit) ->
  cons:
    ((hd:'b ->
       tl:'b Utils__.Datatypes.mutable_list ->
       'b Utils__.Datatypes.mutable_list)
       Variantslib.Variant.t ->
      Base.unit) ->
  Base.unit

val map : 
  'a Utils__.Datatypes.mutable_list ->
  empty:('b Utils__.Datatypes.mutable_list Variantslib.Variant.t -> 'c) ->
  cons:
    ((hd:'d ->
       tl:'d Utils__.Datatypes.mutable_list ->
       'd Utils__.Datatypes.mutable_list)
       Variantslib.Variant.t ->
      hd:'a ->
      tl:'a Utils__.Datatypes.mutable_list ->
      'c) ->
  'c

val make_matcher : 
  empty:
    ('a Utils__.Datatypes.mutable_list Variantslib.Variant.t ->
      'b ->
      (unit -> 'c) * 'd) ->
  cons:
    ((hd:'e ->
       tl:'e Utils__.Datatypes.mutable_list ->
       'e Utils__.Datatypes.mutable_list)
       Variantslib.Variant.t ->
      'd ->
      (hd:'f -> tl:'f Utils__.Datatypes.mutable_list -> 'c) * 'g) ->
  'b ->
  ('f Utils__.Datatypes.mutable_list -> 'c) * 'g

val to_rank : 'a Utils__.Datatypes.mutable_list -> int

val to_name : 'a Utils__.Datatypes.mutable_list -> string

val descriptions : (string * int) list