Crate rustre_core

Rustre compiler driver

It is built around comemo.

Modules

• checks
  Collection of random checks that must be run for a program to be valid
• diagnostics
• engine
• eval
• id
• name_resolution
• node_state
  Persisted node state (temporal operators)
• static_args
  Static args-related queries and data structures
• types
• value
  Value type, (mostly?) used for const-evaluation

Structs

• Signature
• TypedSignature

Functions

• all_roots
• all_sources
  Returns all Sources for all imported files
• check
  Query: Global program check
• enclosing_file_of_root
  Returns the FileId that contains a given Root
• get_signature
• get_typed_signature