package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Condition.ConditionIntSource

A dummy Condition, which creates a new int each time.

Sourcetype t = int
Sourceval count : int ref
Sourceval unique : unit -> int
Sourceval pretty : 'a -> 'b -> unit
Sourceval all : int
Sourceval equal : 'a -> 'a -> bool
Sourceval empty : int
Sourceval is_empty : int -> bool
Sourceval inter : 'a -> 'b -> int
Sourceval (&&~) : 'a -> 'b -> int
Sourceval union : 'a -> 'b -> int
Sourceval (||~) : 'a -> 'b -> int
Sourceval disjoint : 'a -> 'b -> 'c
Sourceval is_included : 'a -> 'b -> 'c
Sourceval complement : 'a -> int
Sourceval var : unit -> int
Sourceval hash : 'a -> 'a