This is my attempt at documenting the policy grammar that is accepted by checkpolicy.
Comments start with a # character and continue to the end of the line.
Keywords can be in all uppercase or all lowercase.
A file must contain either a base_policy or a module_policy.
module_policy = module identifier version_identifier ;