actually declare "_constrainAbs" as @{syntax_const};
actually declare "_constrainAbs" as @{syntax_const};

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