Documentation · ocaml-logicalform v0.6.0

ocaml-logicalform

`LogicalForm` provides modules for efficient and intuitive manipulation

Version

Overview Documentation

IN THIS PACKAGE

library ocaml-logicalform
- module LogicalForm
  - module CNF
    
    module type I
    
    module Clause
    
    module Literal
    
    module Id
    
    module T
    
    module Make
    
    argument 1-C
    
    module Literal
    
    module Id
    
    module T
  - module Clause
    
    module type I
    
    module Literal
    
    module Id
    
    module T
    
    module Make
    
    argument 1-L
    
    module Id
    
    module T
  - module DNF
    
    module type I
    
    module Term
    
    module Literal
    
    module Id
    
    module T
    
    module Make
    
    argument 1-T
    
    module Literal
    
    module Id
    
    module T
  - module Exceptions
  - module Form
    
    module type I
    
    module Literal
    
    module Id
    
    module T
  - module IdBase
    
    module type BASE
    
    module type I
    
    module Make
    
    argument 1-B
  - module Index
    
    module type I
    
    module T
    
    module Make
    
    argument 1-T
  - module Literal
    
    module type I
    
    module Id
    
    module T
    
    module Make
    
    argument 1-Id
    
    module T
  - module NNF
    
    module type I
    
    module Literal
    
    module Id
    
    module T
    
    module Make
    
    argument 1-L
    
    module Id
    
    module T
  - module PrettyPrint
    
    module type I
    
    module type Inspectable
    
    module type Sexpable
    
    module Style
    
    module Infix
    
    module Prefix
  - module Properties
    
    module type Conjunctable
    
    module type Disjunctable
    
    module type Executable
    
    module type NeedsValidation
    
    module type Negatable
  - module Std
    
    module CNF
    
    module Clause
    
    module Literal
    
    module Id
    
    module T
    
    module Clause
    
    module Literal
    
    module Id
    
    module T
    
    module DNF
    
    module Term
    
    module Literal
    
    module Id
    
    module T
    
    module Index
    
    module T
    
    module Literal
    
    module Id
    
    module T
    
    module NNF
    
    module Literal
    
    module Id
    
    module T
    
    module Term
    
    module Literal
    
    module Id
    
    module T
    
    module UnNF
    
    module Literal
    
    module Id
    
    module T
  - module Term
    
    module type I
    
    module Literal
    
    module Id
    
    module T
    
    module Make
    
    argument 1-L
    
    module Id
    
    module T
  - module UnNF
    
    module type I
    
    module Literal
    
    module Id
    
    module T
    
    module Make
    
    argument 1-L
    
    module Id
    
    module T

Libraries

This package provides the following libraries (via dune):

ocaml-logicalform

Documentation:

Dependencies: ppx_sexp_conv.runtime-lib, base