| 1 | import { Term } from "./term";
|
| 2 | export declare function isVariableLike<Value extends string = string>(given: unknown, value?: Value): given is VariableLike<Value>;
|
| 3 | export declare function isVariable<Value extends string = string>(given: unknown, value?: Value): given is Variable;
|
| 4 | export interface Variable<Value extends string = string> extends Term<"Variable", Value> {
|
| 5 | equals(other: unknown): other is VariableLike<Value>;
|
| 6 | }
|
| 7 | export declare class Variable<Value extends string = string> extends Term<"Variable", Value> implements Variable<Value> {
|
| 8 | constructor(value: Value);
|
| 9 | }
|
| 10 | export declare type VariableLike<Value extends string = string> = Pick<Variable<Value>, "termType" | "value">;
|