package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 5.2.1

Install

sha256=2d0f8090951a97a2c0e5b8a11e90096c0e1791d2e471e4a67f87e3b974044cd0

type t

type f =

val null : t

val full : t

val covariant : t

val unknown : t

val union : t -> t -> t

val inter : t -> t -> t

val subset : t -> t -> bool

val eq : t -> t -> bool

val set : f -> t -> t

val set_if : bool -> f -> t -> t

val mem : f -> t -> bool

val conjugate : t -> t

val compose : t -> t -> t

val strengthen : t -> t

val get_upper : t -> bool * bool

val get_lower : t -> bool * bool * bool

val unknown_signature : injective:bool -> arity:int -> t list

The most pessimistic variance for a completely unknown type.