BiabductionSummary.NormSpec
encapsulate type for normalized specs
type t
val compact : Predicates.sharing_env -> t -> t
Return a compact representation of the spec
val erase_join_info_pre : IR.Tenv.t -> t -> t
Erase join info from pre of spec