package archetype

  1. Overview
  2. Docs
type _ mode =
  1. | EntryDesc : A.entry_description mode
  2. | Role : A.lident list mode
  3. | Entry : A.security_entry mode
val validate1 : env -> 'a mode -> PT.security_arg -> 'a0
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 -> A.security_node) * 'a validator -> predc
val pclen : predc -> int
val vd1 : ('a -> A.security_node) -> 'b mode -> predc
val vd2 : ('a -> 'b -> A.security_node) -> 'c mode -> 'd mode -> predc
val vd3 : ('a -> 'b -> 'c -> A.security_node) -> 'd mode -> 'e mode -> 'f mode -> predc
val validate_and_build : env -> predc -> PT.security_arg list -> A.security_node
val preds : predc Ident.Mid.t