https://github.com/Coq-zh/SF-zh/blob/master/lf-current/Basics.v#L326

'构造子表达式'通过 将构造子应用到一个或多个构造子表达式 上构成。例如
[red]、[true]、[primary]、[primary red]、[red primary]、[red true]、
[primary (primary primary)] 等等

在原文中写的是

Constructor expressions are formed by applying constructors to zero or more constructor expressions.
E.g., red, true, primary, primary red, red primary, red true, primary (primary primary), etc.

这边是不是存在翻译上的偏差？因为我是初学者，所以对该怎么正确地理解和翻译也没个底🙈
个人感觉这句话的意思是说构造子可以是裸的，或者是可以将另一个构造子作为参数应用在这个新的构造子上？