include "static_2/notation/functions/snapplvector_2.ma".
include "static_2/syntax/term_simple.ma".
(* TERMS ********************************************************************)
rec definition applv Vs T on Vs ≝
include "static_2/notation/functions/snapplvector_2.ma".
include "static_2/syntax/term_simple.ma".
(* TERMS ********************************************************************)
rec definition applv Vs T on Vs ≝