Folio Assistant Core

🔀 FEATURE BRANCH — loading build details…

Interface ParsedLeanRef

interface ParsedLeanRef {
decl: string;
module: string;
name: string;
package: string;
}

Index

Properties

decl module name package

Properties

decl

decl: string

module

module: string

name

name: string

package

package: string