package ocaml-logicalform

You can search for identifiers within the package.

in-package search v0.2.0

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

type nonrec t = {

var_prefix : string;
true_string : string;
false_string : string;
_not_ : string;
_and_ : string;
_or_ : string;

}

val default : t