imports Applicative_Environment Applicative_Option Applicative_Sum Applicative_Set Applicative_DNEList Applicative_Monoid Applicative_Filter Applicative_State Applicative_Stream Applicative_Open_State Applicative_PMF Applicative_Probability_List Applicative_Star Applicative_Vector

(* Author: Joshua Schneider, ETH Zurich Author: Andreas Lochbihler, ETH Zurich *) theory Applicative_Functor imports Applicative_Environment Applicative_Option Applicative_Sum Applicative_Set Applicative_List Applicative_DNEList Applicative_Monoid Applicative_Filter Applicative_State Applicative_Stream Applicative_Open_State Applicative_PMF Applicative_Probability_List Applicative_Star Applicative_Vector begin print_applicative end