module demo::lang::logic::ast::Propositions

rascal-0.40.17

Usage

import demo::lang::logic::ast::Propositions;

Dependencies

extend demo::lang::logic::ast::Booleans;
extend lang::std::Whitespace;
extend lang::std::Layout;
extend lang::std::Comment;

data Formula

data Formula  
     = id(str x)
     ;