Idris.Directives

directiveAction