Annot.LazyIAnnot
type t
val get : t -> IAnnot.t
val mk_lazy : (unit -> IAnnot.t) -> t
val mk : IAnnot.t -> t
val is_concrete : t -> bool
val substitute : Mlsem_types.Subst.t -> t -> t
val pp : Stdlib.Format.formatter -> t -> unit