cedar.ren

Terms

Terms enter Cedar’s theory when they inhabit a type.