let
is_parametric (pureness: pureness) : bool =
pureness.pars > 0