type _ mode = | EntryDesc : A.entry_description mode| Role : A.lident list mode| Entry : A.security_entry modeval validate1 : env -> 'a mode -> PT.security_arg -> 'aval vdlen : 'a. 'a validator -> intval validate : 'a. env -> ('a validator * PT.security_arg list) -> 'aval pclen : predc -> intval vd1 : ('a -> A.security_node) -> 'a mode -> predcval vd2 : ('a -> 'b -> A.security_node) -> 'a mode -> 'b mode -> predcval vd3 :
('a -> 'b -> 'c -> A.security_node) ->
'a mode ->
'b mode ->
'c mode ->
predcval validate_and_build :
env ->
predc ->
PT.security_arg list ->
A.security_nodeval preds : predc Ident.Mid.t