Array Lean.Elab.PreDefinition →
  Lean.Elab.FixedParamPerms →
    Array (Array Lean.Name) →
      Array Lean.Elab.WF.GuessLex.RecCallWithContext → Lean.MetaM (Array (Array Lean.Elab.WF.GuessLex.BasicMeasure))