<commit_before>package ohnosequences

/** Useful stuff.

  This library is a complete reworking of Scala within Scala.

  @groupprio functions 0
  @groupname functions Functions
  @groupdesc functions Types corresponding to functions, the morphisms in the [[Scala]] category. For functions working with functions, including [[scala.Function1]] interop, see [[functions]].

  @groupprio products 1
  @groupname products Products
  @groupdesc products Types corresponding to the product structure on [[Scala]]. For functions working with products see [[products]].

  @groupprio sums 2
  @groupname sums Sums
  @groupdesc sums Types corresponding to the sum (coproduct) structure on [[Scala]]. For functions working with sums see [[sums]].

  @groupprio annotations 3
  @groupname annotations Annotations
  @groupdesc annotations Scala annotations.
  */
package object stuff {

  type Scala =
    ohnosequences.stuff.Scala.type

  def ??? =
    scala.Predef.???

  /**
    The type of functions from A to B.
    @group functions
    */
  @infix
  type ->[A, B] =
    Function[A, B]

  /** @group products */
  type ∗ =
    EmptyTuple.type

  /** @group products */
  @infix
  type ×[A, B] =
    TupleImpl[A, B]

  /** @group sums */
  type ∅ =
    empty.type

  /** @group sums */
  @infix
  type +[A, B] =
    Or { type Left = A; type Right = B }

  /** @group annotations */
  type inline =
    scala.inline

  /** @group annotations */
  type infix =
    scala.annotation.showAsInfix
}
<commit_msg>remove ??? alias in package<commit_after>package ohnosequences

/** Useful stuff.

  This library is a complete reworking of Scala within Scala.

  @groupprio functions 0
  @groupname functions Functions
  @groupdesc functions Types corresponding to functions, the morphisms in the [[Scala]] category. For functions working with functions, including [[scala.Function1]] interop, see [[functions]].

  @groupprio products 1
  @groupname products Products
  @groupdesc products Types corresponding to the product structure on [[Scala]]. For functions working with products see [[products]].

  @groupprio sums 2
  @groupname sums Sums
  @groupdesc sums Types corresponding to the sum (coproduct) structure on [[Scala]]. For functions working with sums see [[sums]].

  @groupprio annotations 3
  @groupname annotations Annotations
  @groupdesc annotations Scala annotations.
  */
package object stuff {

  type Scala =
    ohnosequences.stuff.Scala.type

  /**
    The type of functions from A to B.
    @group functions
    */
  @infix
  type ->[A, B] =
    Function[A, B]

  /** @group products */
  type ∗ =
    EmptyTuple.type

  /** @group products */
  @infix
  type ×[A, B] =
    TupleImpl[A, B]

  /** @group sums */
  type ∅ =
    empty.type

  /** @group sums */
  @infix
  type +[A, B] =
    Or { type Left = A; type Right = B }

  /** @group annotations */
  type inline =
    scala.inline

  /** @group annotations */
  type infix =
    scala.annotation.showAsInfix
}

{'fraction_non_alphanumeric': 0.10678307588985897, 'fraction_numerical': 0.0033579583613163196, 'mean_word_length': 3.149025069637883, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5430996', 'n_tokens_mistral': 975, 'n_tokens_neox': 889, 'n_words': 329}