File effected.proof.ts

test/effected.proof.ts:None–None

import { beNever, describe, equal, expect, it, error as triggerError } from "typroof";

import { dependency, effect, effected, error } from "../src";
import { Effected } from "../src/effected";