Sarek_policy_envval vocabulary : (string * Sarek_policy_vocab.restriction) listval parse : string -> Sarek_policy_vocab.restriction list * string listval parse_explain : string option -> Sarek_policy_vocab.explainval decision_text : Sarek_policy_vocab.decision -> stringval cause_name : Sarek_policy_vocab.ignored -> stringval explain_line : Sarek_policy_vocab.event -> string