package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 4.14.2

Install

sha256=c2d706432f93ba85bd3383fa451d74543c32a4e84a1afaf3e8ace18f7f097b43

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.