import * as Specification from "./specification"; export declare function func(name: string, returnType: string, ...args: Specification.Expression[]): Specification.Expression; export declare function op(name: string, returnType: string, ...args: Specification.Expression[]): Specification.Expression; export declare function cast(from: Specification.Expression, to: string): Specification.Expression; export declare function variable(varName: string, varType: string): Specification.Expression; export declare function constant(value: number | number[], valueType: string): Specification.Expression; export declare function mix(a1: Specification.Expression, a2: Specification.Expression, t: Specification.Expression): Specification.Expression; export declare function exp(x: Specification.Expression): Specification.Expression; export declare function log(x: Specification.Expression): Specification.Expression; export declare function add(a1: Specification.Expression, a2: Specification.Expression): Specification.Expression; export declare function sub(a1: Specification.Expression, a2: Specification.Expression): Specification.Expression; export declare function mul(a1: Specification.Expression, a2: Specification.Expression): Specification.Expression; export declare function div(a1: Specification.Expression, a2: Specification.Expression): Specification.Expression; export declare function equals(a1: Specification.Expression, a2: Specification.Expression): Specification.Expression; export declare function greaterThan(a1: Specification.Expression, a2: Specification.Expression): Specification.Expression; export declare function lessThan(a1: Specification.Expression, a2: Specification.Expression): Specification.Expression; export declare function greaterThanOrEquals(a1: Specification.Expression, a2: Specification.Expression): Specification.Expression; export declare function lessThanOrEquals(a1: Specification.Expression, a2: Specification.Expression): Specification.Expression;