Definitions for "Ctor"
A constructor, i.e. a logical function, of a complex term (Cterm). It is optionally surrounded by an operator (op). Attributes: @uri(See: cterm module)