-- Used to abbreviate the uf_tmpl in interface files
-- which don't need to contain the RHS;
-- it can be derived from the strictness info
-- Used to abbreviate the uf_tmpl in interface files
-- which don't need to contain the RHS;
-- it can be derived from the strictness info