package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 5.0.0

Install

sha256=72fa3d0ba19b82fcb9e6c62e0090b9d22e5905c4be0f94faf56904a9377a9e5b

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.