Function effect_ty 

pub fn effect_ty() -> Expr

Effect : Type — An abstract program effect (read, write, alloc, throw, io).