package ocaml-logicalform

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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

Parameters

module T : IdBase.BASE

Signature

module T = IdBase.Make(T)

type t = private

| Valid of nonzero_sign * T.t

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0.Sexp.t -> t

val sexp_of_t : t -> Sexplib0.Sexp.t

val id : T.t -> t

val to_nonzero_int_exn : t -> Base.int

val of_nonzero_int_exn : Base.int -> t

include Base.Stringable.S with type t := t

val of_string : string -> t

val to_string : t -> string

include Properties.Negatable with type t := t

val not_ : t -> t