Question: constant type inside assume()

How I can say that an object,say k, is a constant(it may be positive or negative) inside assume()?

assume(k::??should I say)

pls also tell me what kind of help pages I should see for this kind of "type inside assume()" problems. 

Thanks.

Please Wait...