/* The basic categories in our encoding of first-order logic; the sort term is the type of terms and form is the type of formulas */ sig logic_types. kind term type. kind form type.
/* The basic categories in our encoding of first-order logic; the sort term is the type of terms and form is the type of formulas */ sig logic_types. kind term type. kind form type.