lcp@105: Bool = FOL + lcp@105: types bool 0 lcp@105: arities bool :: term lcp@105: consts tt,ff :: "bool" lcp@105: end