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

def Aesop.StatsReport.instToStringNanos : ToString Nanos

def Aesop.StatsReport.default : StatsReport

def Aesop.StatsReport.default.fmtTime (n : Nanos) (samples : Nat) : Std.Format

def Aesop.StatsReport.default.fmtRuleStats (stats : Array (DisplayRuleName × RuleStatsTotals)) : Std.Format

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

def Aesop.StatsReport.scriptsCore.fmtScriptGenerated : ScriptGenerated → Std.Format

def Aesop.StatsReport.scriptsCore.fmtTimes (ns : Array Nanos) : Std.Format

def Aesop.StatsReport.scripts : StatsReport

def Aesop.StatsReport.scriptsNontrivial : StatsReport