Module FML_types (.ml)

module FML_types: sig .. end

The abstract formula type (and its sub-types).

type t_fml =

type t_binop =

`\|`	`Binop of string`

type t_unop =

`\|`	`Unop of string`

type t_quant =

`\|`	`Quant of string`

type t_term =

`\|`	`Atom of t_var`
`\|`	`FuncApp of t_func * t_term list`

type t_pred =

`\|`	`Pred of string`

type t_func =

`\|`	`Func of string`

type t_var =

`\|`	`Var of string`