fregejs/src/utils/isBiconditional.ts

A propositional logic library written in Typescript

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

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