Up – mavryk-benchmark » Mavryk_benchmark » Costlang » Subst » P

Parameter `Subst.P`

val subst : Free_variable.t -> float