VerifiedPermissions.Policysee http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-verifiedpermissions-policy.html
see http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-verifiedpermissions-policy-entityidentifier.html
see http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-verifiedpermissions-policy-staticpolicydefinition.html
and template_linked_policy_definition = {resource : entity_identifier option;policy_template_id : string;principal : entity_identifier option;}see http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-verifiedpermissions-policy-templatelinkedpolicydefinition.html
and policy_definition = {static : static_policy_definition option;template_linked : template_linked_policy_definition option;}see http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-verifiedpermissions-policy-policydefinition.html
see http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-verifiedpermissions-policy.html;
val make_properties :
definition:policy_definition ->
policy_store_id:string ->
unit ->
propertiesval make_entity_identifier :
entity_type:string ->
entity_id:string ->
unit ->
entity_identifierval make_static_policy_definition :
?description:string ->
statement:string ->
unit ->
static_policy_definitionval make_template_linked_policy_definition :
?resource:entity_identifier ->
policy_template_id:string ->
?principal:entity_identifier ->
unit ->
template_linked_policy_definitionval make_policy_definition :
?static:static_policy_definition ->
?template_linked:template_linked_policy_definition ->
unit ->
policy_definitionval yojson_of_entity_identifier : entity_identifier -> Yojson.Safe.tval yojson_of_static_policy_definition :
static_policy_definition ->
Yojson.Safe.tval yojson_of_template_linked_policy_definition :
template_linked_policy_definition ->
Yojson.Safe.tval yojson_of_policy_definition :
policy_definition ->
[> `Assoc of (string * Yojson.Safe.t) list ]val yojson_of_properties :
properties ->
[> `Assoc of (string * Yojson.Safe.t) list ]val create_attributes : string -> attributes