let mk_const th k d = Const(th, k, d)