sig terms. accum_sig fp_types, fp_vocab. kind name type. exportdef trm name -> tm -> o. type trfact1 name. type trfact2 name. type gcd2 name. type appnd name.
sig terms. accum_sig fp_types, fp_vocab. kind name type. exportdef trm name -> tm -> o. type trfact1 name. type trfact2 name. type gcd2 name. type appnd name.