fact: Definition desugarSignalsOnly (typs:list StaticType) : Expression := let varE := param Exception_e in let desugar1 (typ:StaticType) : Expression := (varE instanceof typ)%jml in fold_right (BinaryCondBoolExpr ConditionalOr) (false'%jml) (map desugar1 typs).
imports: JML(JMLBasic2Minimal) JML(JMLSyntax) Coq(List)