package ocaml-logicalform

You can search for identifiers within the package.

in-package search v0.2.0

package ocaml-logicalform

ocaml-logicalform
- CHANGES
- LICENSE
- README
- Library ocaml-logicalform
  - LogicalForm
    
    CNF
    
    I
    
    Clause
    
    Literal
    
    Id
    
    T
    
    Make
    
    Clause
    
    Clause
    
    I
    
    Literal
    
    Id
    
    T
    
    Make
    
    Literal
    
    DNF
    
    I
    
    Term
    
    Literal
    
    Id
    
    T
    
    Make
    
    Term
    
    Exceptions
    
    Form
    
    I
    
    Literal
    
    Id
    
    T
    
    IdBase
    
    BASE
    
    I
    
    Make
    
    Index
    
    I
    
    T
    
    Make
    
    T
    
    Literal
    
    I
    
    Id
    
    T
    
    Make
    
    Id
    
    NNF
    
    I
    
    Literal
    
    Id
    
    T
    
    Make
    
    Literal
    
    PrettyPrint
    
    Style
    
    Infix
    
    Prefix
    
    Inspectable
    
    Sexpable
    
    I
    
    Properties
    
    Executable
    
    NeedsValidation
    
    Conjunctable
    
    Disjunctable
    
    Negatable
    
    Std
    
    PPStyle
    
    Index
    
    T
    
    Literal
    
    Id
    
    T
    
    Clause
    
    Literal
    
    Id
    
    T
    
    Term
    
    Literal
    
    Id
    
    T
    
    CNF
    
    Clause
    
    Literal
    
    Id
    
    T
    
    DNF
    
    Term
    
    Literal
    
    Id
    
    T
    
    NNF
    
    Literal
    
    Id
    
    T
    
    UnNF
    
    Literal
    
    Id
    
    T
    
    Term
    
    I
    
    Literal
    
    Id
    
    T
    
    Make
    
    Literal
    
    UnNF
    
    I
    
    Literal
    
    Id
    
    T
    
    Make
    
    Literal
- Sources
  - ocaml-logicalform
    
    CNF.ml
    
    Clause.ml
    
    DNF.ml
    
    Exceptions.ml
    
    Form.ml
    
    IdBase.ml
    
    Index.ml
    
    Literal.ml
    
    NNF.ml
    
    PrettyPrint.ml
    
    Properties.ml
    
    Std.ml
    
    Term.ml
    
    UnNF.ml
    
    logicalForm.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `LogicalForm.DNF`

module type I = sig ... end

module Make (T : Term.I) : I with module Term = T