Cross Reference: base.elf
xref
: /
ast
/
src
/
cmd
/
std
/
Mamfile
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
%read "../..
/propositional/model_theory/bool.elf
".
%sig BaseMOD = {
%include STTIFOLEQ %open.
%include Bool %open.
}.
%view BaseMODView : Base -> BaseMOD = {
o := bool.
ded := [F : bool] ded F eq 1.
}.