Documentation

Lake.Util.Sugar

source
def Lake.termTry_Else_ :
Lean.ParserDescr
Equations
    Instances For
      source
      def Lake.doElemTry_Else_ :
      Lean.ParserDescr
      Equations
        Instances For