6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanntypes Nat < Int;

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Int < Rat

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannop 0 : Nat

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannop 0 : Rat

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannforall y : Rat . y = 0; %(divide_def2_Rat)%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%% Type Constructors -----------------------------------------------------

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannInt : Type < Rat

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannNat : Type < Int

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannRat : Type

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%% Assumptions -----------------------------------------------------------

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann0

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann: Rat %(op)%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann: Nat %(op)%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%% Variables -------------------------------------------------------------

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanny : Rat

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%% Sentences -------------------------------------------------------------

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanny = (op 0 : Nat) %(divide_def2_Rat)%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%% Diagnostics -----------------------------------------------------------

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann### Hint 1.17, redeclared type 'Int'

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann### Hint 6.14, not a class 'Rat'

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann