package mc2

  1. Overview
  2. Docs
type t

Type of atomic formulas.

val neg : t -> t

Negation of atomic formulas.

Print the given formula.

OCaml

Innovation. Community. Security.