def Aesop.sortedPercentileD {α : Type u_1} (p : Percent) (dflt : α) (xs : Array α) : α

Assumes that xs is ascending. We use a simple nearest-rank definition of percentiles.

def Aesop.sortedMedianD {α : Type u_1} (dflt : α) (xs : Array α) : α

@[reducible, inline]

abbrev Aesop.StatsReport : Type

@[implicit_reducible]

def Aesop.StatsReport.instToStringNanos : ToString Nanos

def Aesop.StatsReport.default : StatsReport

def Aesop.StatsReport.scriptsCore (nSlowest : Nat := 30) (nontrivialOnly : Bool := false) : StatsReport

def Aesop.StatsReport.scripts : StatsReport

def Aesop.StatsReport.scriptsNontrivial : StatsReport