let of_cnstrnt c = Cnstrnt(c)