1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'foundations/Root.e').
4%;
5%; Copyright (c) 2005 IBM Corporation and others.
6%; All rights reserved. This program and the accompanying materials
7%; are made available under the terms of the Common Public License v1.0
8%; which accompanies this distribution, and is available at
9%; http://www.eclipse.org/legal/cpl-v10.html
10%;
11%; Contributors:
12%; IBM - Initial implementation
13%;
14
15% sort boolean
16==> sort(boolean).
17
18% sort integer
19==> sort(integer).
20
21% reified sort predicate
22 % reified_sort(predicate).
23==> mpred_prop(predicate,reified_sort).
24
25% reified sort function
26 % reified_sort(function).
27==> mpred_prop(function,reified_sort).