constrain: assert const declaration, optional type (i.e. may delete constraints);
constrain: assert const declaration, optional type (i.e. may delete constraints);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle