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).
   28%; End of file.