Parameter Pipe.1-Expr

type ty
type ty_var
type ty_const
type term
type term_var
type term_const
type formula