module statics

imports signatures/fostr-sig

// see docs/implementation.md for details on how to switch to multi-file analysis

rules // single-file entry point

  programOk : Ex

  programOk(Sum(_)).
  programOk(Receives(_,_)).
  programOk(Enters(_,_)).

rules // multi-file entry point

  projectOk : scope

  projectOk(s).

  fileOk : scope * Ex

  fileOk(s, Receives(_,_)).