package libzipperposition

  1. Overview
  2. Docs
package libzipperposition
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
type payload = payload

Additional data carried in the literal

val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val dummy : t

Value that should not be used

val neg : t -> t

Negate the boolean literal

val sign : t -> bool

Current sign of the literal (positive or negative)

val abs : t -> t

Literal without its sign

val norm : t -> t * bool

norm l = abs l, not (sign l)

val set_sign : bool -> t -> t

Set the sign of the literal to the given boolean

val apply_sign : bool -> t -> t

apply_sign s lit is lit if s, neg lit otherwise

val make : payload -> t

Make a fresh literal with the given payload

val payload : t -> payload

Obtain the payload

val to_int : t -> int
val fresh_id : unit -> int

Make a fresh ID. Use with care.

module Set : CCSet.S with type elt = t
module Tbl : CCHashtbl.S with type key = t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct