@openreasoning/fol-types

Types of First-Order Logic formula