Structure Encode

(* ========================================================================= *)
(* AUTOMATIC GENERATION OF ENCODING FUNCTIONS FOR DATATYPES.                 *)
(* Created by Joe Hurd, July 2002                                            *)
(* Basically the same as Konrad Slind's code to generate size functions      *)
(* ========================================================================= *)

signature Encode = sig end

HOL 4, Kananaskis-13