package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 4.13.1

Install

sha256=194c7988cc1fd1c64f53f32f2f7551e5309e44d914d6efc7e2e4d002296aeac4

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 -> bool -> t -> t

val mem : f -> t -> bool

val conjugate : t -> t

val get_upper : t -> bool * bool

val get_lower : t -> bool * bool * bool * bool

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

The most pessimistic variance for a completely unknown type.