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

export type * from 'types/tokens/tokens';

export type * from 'types/semantic/truth';

export type * from 'types/syntactic/proof';

export type * from 'types/formulas/atomic-formula';
export type * from 'types/formulas/molecular-formula';
export type * from 'types/formulas/binary-operation-formula';
export type * from 'types/formulas/formula';

export type * from 'types/operations/binary-operations';
export type * from 'types/operations/unary-operation';
export type * from 'types/operations/propositional-variable';

export { inferenceRulesMap };