@dallaylaen/ski-interpreter
    Preparing search index...

    Type Alias SearchOptions

    type SearchOptions = {
        depth?: number;
        infer?: boolean;
        max?: number;
        maxArgs?: number;
        noskip?: boolean;
        progressInterval?: number;
        tries?: number;
    }
    Index

    Properties

    depth?: number

    maximum generation to search for

    infer?: boolean

    whether to call infer() on each term; default true

    max?: number

    maximum number of steps in infer(), see infer

    maxArgs?: number

    maximum number of arguments in infer(), see infer

    noskip?: boolean

    prevents skipping equivalent terms. Always true if infer is false.

    progressInterval?: number

    minimum number of tries between progress yields, default 1000

    tries?: number

    maximum number of tried terms before giving up