clause: Create a clause

Description Usage Arguments

View source: R/types.R

Description

Create a clause

Usage

1

Arguments

name

a length 1 character, the name of the clause.

...

any number of valid arguments. I.e. int, atom, variable or char.


dirkschumacher/logician documentation built on June 13, 2020, 5:11 p.m.