@leanprover/infoview
    Preparing search index...

    Type Alias StrictOrLazy<S, L>

    StrictOrLazy: { strict: S } | { lazy: L }

    Type Parameters

    • S
    • L

    Settings
    Member Visibility