public LtltTokenElement(LtltNodeType tokenNodeType) : base(tokenNodeType) { }
public LtltTokenElement(LtltNodeType tokenNodeType) : base(tokenNodeType) { }
public LtltTokenElement(LtltNodeType tokenNodeType) : base(tokenNodeType) { }
public LtltTokenElement(LtltNodeType tokenNodeType) : base(tokenNodeType) { }