(* Title: HOL/Library/Phantom_Type.thy Author: Andreas Lochbihler *) section ‹A generic phantom type› theory Phantom_Type imports Main begin