type _ mode = | ActionDesc : M.action_description mode| Role : M.lident list mode| Action : M.security_action modeval validate1 : env -> 'a mode -> PT.security_arg -> 'a0val vdlen : 'a. 'a validator -> intval validate : 'a. env -> ('a validator * PT.security_arg list) -> 'aval pclen : predc -> intval vd1 : ('a -> M.security_node) -> 'b mode -> predcval vd2 : ('a -> 'b -> M.security_node) -> 'c mode -> 'd mode -> predcval vd3 :
('a -> 'b -> 'c -> M.security_node) ->
'd mode ->
'e mode ->
'f mode ->
predcval validate_and_build :
env ->
predc ->
PT.security_arg list ->
M.security_nodeval preds : predc Ident.Mid.t