About 221 results found. (Query 0.4888 seconds)
than one way. 13.20. constructor Some expressions, \(\mathsf{Nat}\) or \((\mathsf{Pair\;Nat\;Atom})\), are types. Explaining a new type is to say how they constructed, i.e., what its constructors are. The constructor of \(\mathsf{Nat}\)...