Expand description
Contains parser for expression, def-fun, and a structure used for checking correctness
Structsยง
- Check
Problem - A struct representing a problem to be checked for synthesis validity.
- Define
Fun - A struct that encapsulates the definition of a function in the synthesis problem.