Structs§
- A data expression can be any of: - a variable - a function symbol, i.e. f without arguments. - a term applied to a number of arguments, i.e., t_0(t1, …, tn). - an abstraction lambda x: Sort . e, or forall and exists. - machine number, a value [0, …, 2^64-1].