[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Specification oarray-sort
instantiate parameter
   filter-count
< 
   olist-min-max
with 
   list-as-arrayinstance, 
   gen-tord
   
by mapping
      : List → Array('a); 
      [] → []; 
      + → +; 
      # → #; 
      ' → '; 
      + → +; 
      + → +; 
      +2 → +2; 
      .map → .map; 
      .foldLeft → .foldLeft; 
      ++ → ++; 
      .distinct → .distinct; 
      rev → rev; 
      mklist → mklist; 
      fillfirst → fillfirst; 
      -l → -l; 
      -1l → -1l; 
      -p → -p; 
      .indexOf → .indexOf; 
      frome → frome; 
      ∪ → ∪; 
      \ → \; 
      intersect → intersect; 
      #oc → #oc; 
      .count → .count; 
      .filter → .filter; 
      zip → zip; 
      < → <; 
      ∈ → ∈; 
      dups → dups; 
      disj → disj; 
      ⊑ → ⊑; 
      ⊒ → ⊒; 
      ⊆ → ⊆; 
      perm → perm; 
      ⊆m → ⊆m; 
      .head → .first; 
      .tail → .rest; 
      [ ] → ]; 
      [ ] → ]; 
      .last → .last; 
      .butlast → .butlast; 
      .dropRight → .dropRight; 
      .take → .take; 
      .drop → .drop; 
      .takeRight → .takeRight; 
      .sublist → .sublist; 
      .count → .count; 
   rename 
      ins≤ → ins≤; 
      merge → merge; 
      sort → sort; 
      ordered≤ → ordered≤; 
      ordered< → ordered<; 
      all< → all<; 
      all< → all<; 
      all≤ → all≤; 
      all≤ → all≤; 
      all> → all>; 
      all> → all>; 
      all≥ → all≥; 
      all≥ → all≥; 
      min → min; 
      max → max; 
end instantiate