Module Wpo.VC_Annot

val is_trivial : t -> bool
val resolve : pid:WpPropId.prop_id -> t -> bool
val cache_descr : pid:WpPropId.prop_id -> t -> (VCS.prover * VCS.result) list -> string