import Base
import ./PROOF.bend as Proof
import ./conformance.bend as Tests
import ./example.bend as Example

def main() -> IO(Unit):
  Example.main()