type transform
STRUCTURE
SYNOPSIS
Type of elements in compset
LIBRARY
compute
DESCRIPTION
An element of a compset can map to a collection of rewrite rules or a conversion (or both, in some cases). The type transform is declared as follows:
 
   datatype transform  
      = Conversion of (term -> thm * db fterm)
      | RRules of thm list
FAILURE
Can not fail.
SEEALSO
HOL  Trindemossen-1