05-head-subset-rule.rego « examples « rego-proofs - rego-proofs.git - Lean proofs for my Master's thesis

about summary refs log tree commit diff

path: root/rego-proofs/examples/05-head-subset-rule.rego

blob: 3d43a67e9dd61c984a43eb38d7d5ec17974552d3 (plain)

package examples.head_subset_rule

import future.keywords.if

p if q["prod"]

© 2015 - 2026 Jakob L. Kreuze