Closed cvauclair closed 3 years ago
Infer: -Rename string_of_typ to sig_of_typ (pretty-printing, signature mode) -Add new function string_of_typ to print the type in S-expression form
string_of_typ
sig_of_typ
Infer: -Rename
string_of_typ
tosig_of_typ
(pretty-printing, signature mode) -Add new functionstring_of_typ
to print the type in S-expression form