package archetype

  1. Overview
  2. Docs

Module Typing.SecurityPredSource

Sourcetype _ mode =
  1. | EntryDesc : A.entry_description mode
  2. | Role : A.lident list mode
  3. | Entry : A.security_entry mode
Sourceval validate1 : env -> 'a mode -> PT.security_arg -> 'a
Sourcetype _ validator =
  1. | V0 : unit validator
  2. | VC : 'a mode * 'b validator -> ('a * 'b) validator
Sourceval (^:) : 'a mode -> 'b validator -> ('a * 'b) validator
Sourceexception ArgCountError
Sourceval vdlen : 'a. 'a validator -> int
Sourceval validate : 'a. env -> ('a validator * PT.security_arg list) -> 'a
Sourcetype predc =
  1. | PredC : ('a -> A.security_node) * 'a validator -> predc
Sourceval pclen : predc -> int
Sourceval vd1 : ('a -> A.security_node) -> 'a mode -> predc
Sourceval vd2 : ('a -> 'b -> A.security_node) -> 'a mode -> 'b mode -> predc
Sourceval vd3 : ('a -> 'b -> 'c -> A.security_node) -> 'a mode -> 'b mode -> 'c mode -> predc
Sourceval validate_and_build : env -> predc -> PT.security_arg list -> A.security_node