assertion statements

Assertion Statements

• See:
  • me/projects/fifthlang/Language Design/Assertion Syntax
• Example

  • main(blah: int){
      x: int = 5 * blah;
        isBig: bool = x > 6;
        [#] <<< :myengine :isLargeEngine $isBig ;
    }