package msat

  1. Overview
  2. Docs
type t = clause
val atoms : t -> atom array
val atoms_l : t -> atom list
val equal : t -> t -> bool
val name : t -> string
module Tbl : Hashtbl.S with type key = t
OCaml

Innovation. Community. Security.