Cast

Ltac2.Constr.Cast

type t = cast

val default : t

Default strategy for casts.

val vm : t

VM strategy for casts.

val native : t

Native strategy for casts.

val equal : t -> t -> bool

equal c1 c2 tests equality of casts.