fostr/trans/statics.stx

22 lines
334 B
Plaintext
Raw Permalink Normal View History

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(_)).