package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 5.1.0

Install

sha256=43a3ac7aab7f8880f2bb6221317be55319b356e517622fdc28359fe943e6a450

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.