fregejs/src/utils/isHypothesis.ts

A propositional logic library written in Typescript

import { ProofItem } from 'types/syntactic/proof';

export function isHypothesis(x: ProofItem) {
  return x.type === 'Hypothesis';
}