(******************************************************************************
 *             D A T A    E N C R Y P T I O N    S T A N D A R D
 *-----------------------------------------------------------------------------
 *   INRIA - Unite de Recherche Rhone-Alpes
 *   655, avenue de l'Europe
 *   38330 Montbonnot Saint Martin
 *   FRANCE
 *-----------------------------------------------------------------------------
 *   Module		:	BIT_ABSTRACT.lib
 *   Auteur		:	Wendelin SERWE
 *   Version		:	1.8
 *   Date		: 	2015/09/15 16:01:23
 *****************************************************************************)

(*
 * data type defining bits abstracted to a single value; this type is
 * an abstraction of the BIT type defined in BIT_CONCRETE.lib (the two
 * values 0 and 1 are collapsed to a single value)
 *)

type BIT is BOOLEAN
   sorts BIT
   opns 0 (*! constructor *) : -> BIT 
        1 : -> BIT
   eqns
      ofsort BIT
         1 = 0;
endtype

(* ------------------------------------------------------------------------- *)