Searched refs:codatatype (Results 1 – 4 of 4) sorted by relevance
7 (declare-codatatype Stream ((mkStream (shead List) (stail Stream))))
276 void readDeclareDatatypes(LExprList* sorts, LExprList* datatypes, bool codatatype = false);
920 void SMTLIB2::readDeclareDatatypes(LExprList* sorts, LExprList* datatypes, bool codatatype) in readDeclareDatatypes() argument997 … TermAlgebra* ta = new TermAlgebra(taSort, constructors.size(), constructors.begin(), codatatype); in readDeclareDatatypes()
3070 DECLARE_CODATATYPE_TOK : { PARSER_STATE->v2_6() || PARSER_STATE->sygus() }? 'declare-codatatype';