package tdk

  1. Overview
  2. Docs

Parameters

module V : S.HashCmp
module L : S.Lattice
module R : S.Result

Signature

type t
type v = V.t * L.t
type r = R.t
val const : r -> t
val atom : v -> r -> r -> t
val restrict : v list -> t -> t
val peek : t -> r option
val support : t -> v list
val sum : t -> t -> t
val prod : t -> t -> t
val map_r : (r -> r) -> t -> t
val fold : (r -> 'a) -> (v -> 'a -> 'a -> 'a) -> t -> 'a
val iter : ?order:[ `Post | `Pre ] -> (r -> unit) -> (v -> t -> t -> unit) -> t -> unit
val equal : t -> t -> bool
val to_string : t -> string
OCaml

Innovation. Community. Security.