of_sort: type_sig -> typ * sort -> bool;
of_sort: type_sig -> typ * sort -> bool;

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