Variable extrasConst

Type Declaration

• checkFormatOptions: (raw: unknown) => { value: FormatOptions } | { error: Record<string, string> }

• deepFormat: (obj: any, options?: FormatOptions) => any

• equiv: (e1: Expr, e2: Expr, options?: {}) => EquivResult

• search: <T>(
      seed: Expr[],
      options: SearchOptions,
      predicate: SearchCallback<T>,
  ) => Generator<SearchProgress<T>>

• toLambda: (
      expr: Expr,
      options?: { max?: number; maxArgs?: number },
  ) => Generator<{ expr: Expr; steps: number }, void, unknown>

• toposort: (
      options: {
          allow?: Record<string, Named>;
          env?: Record<string, Named>;
          list?: Expr | Expr[];
      },
  ) => ToposortResult

• toSKI: (
      expr: Expr,
      options?: InferOptions & { identity?: boolean },
  ) => Generator<{ expr: Expr; final: boolean; steps: number }, void, unknown>