fregejs/src/utils/isConjunction.ts

A propositional logic library written in Typescript

import { Conjunction } from 'types/operations/binary-operations';
import { isBinaryOperationFormula } from './isBinaryOperation';

export function isConjunction(formula: any): formula is Conjunction {
  return (
    formula.operation === 'Conjunction' && isBinaryOperationFormula(formula)
  );
}