|
|
|---|
|
|
|
|---|
Fixtype of bindings.
This is a product type introduced by fty::defprod.
We plan to incorporate this into the abstract syntax, but for now we define this here because we need this to define the static semantics of Syntheto. In particular, as we traverse an expression to check that it satisfies the constraints of the static semantic, we collect the let bindings along the way. This fixtype captures one of these let bindings: it corresponds to the first two components of a binding expression in the abstract syntax.