6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanninternal

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{sort s, t

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannfun o, q : s -> t

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann. o = q;

}

%% Type Constructors -----------------------------------------------------

s : Type

t : Type

%% Assumptions -----------------------------------------------------------

o : s -> t %(fun)%

q : s -> t %(fun)%

%% Sentences -------------------------------------------------------------

o = q