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 : Start

  programOk(TopLevel(_)).

rules // multi-file entry point

  projectOk : scope

  projectOk(s).

  fileOk : scope * Start

  fileOk(s, TopLevel(_)).