-
Notifications
You must be signed in to change notification settings - Fork 7
lookup
Norbert Preining edited this page Oct 6, 2017
·
1 revision
displays the location (module) and further information
where <something> has been defined.
open INT .
%INT> look up Nat .
Nat
- sort declared in NAT-VALUE
- operator:
op Nat : -> SortId { constr prec: 0 }
-- declared in module NAT-VALUE
%INT>
CafeO 8000 BJ Reference Manual (c) 2015-2018 CafeOBJ Development Team