Permissions.RuleRules define specific permissions for tools.
jsont is the Jsont codec for permission rules. Preserves unknown fields for forward compatibility.
create ~tool_name ?rule_content ?unknown () creates a new rule.
val tool_name : t -> stringtool_name t returns the tool name.
val rule_content : t -> string optionrule_content t returns the optional rule content.