package archetype

  1. Overview
  2. Docs
type _ mode =
  1. | ActionDesc : M.action_description mode
  2. | Role : M.lident list mode
  3. | Action : M.security_action mode
val validate1 : env -> 'a mode -> PT.security_arg -> 'a
type _ validator =
  1. | V0 : unit validator
  2. | VC : 'a mode * 'b validator -> ('a * 'b) validator
val (^:) : 'a mode -> 'b validator -> ('a * 'b) validator
exception ArgCountError
val vdlen : 'a. 'a validator -> int
val validate : 'a. env -> ('a validator * PT.security_arg list) -> 'a
type predc =
  1. | PredC : ('a -> M.security_node) * 'a validator -> predc
val pclen : predc -> int
val vd1 : ('a -> M.security_node) -> 'a mode -> predc
val vd2 : ('a -> 'b -> M.security_node) -> 'a mode -> 'b mode -> predc
val vd3 : ('a -> 'b -> 'c -> M.security_node) -> 'a mode -> 'b mode -> 'c mode -> predc
val validate_and_build : env -> predc -> PT.security_arg list -> M.security_node
val preds : predc Ident.Mid.t
OCaml

Innovation. Community. Security.