package dolmen

  1. Overview
  2. Docs

Minimum required to type dimacs

type t

The type of terms

val neg : t -> t

Logical negation.

OCaml

Innovation. Community. Security.