discretejs/lib/index.d.ts

A library for expressing discrete mathematics in JavaScript

declare type element = any;
declare type set = element[];
declare type Propsition = boolean;
declare type Predicate = (...xyz: element) => Propsition;
declare type Quantifier = (P: Predicate | Quantifier, domain: set) => Propsition;
declare const A: Quantifier;
declare const E: Quantifier;
declare const All: Quantifier;
declare const Exists: Quantifier;
declare const forAll: Quantifier;
declare const thereExists: Quantifier;
export { element, set, Propsition, Predicate, Quantifier, A, E, All, Exists, forAll, thereExists };