path: root/rego-proofs/examples/13-else-keyword.rego

package examples.set_defined_by_predicate

import future.keywords.if

phi := 3.14159 if False else := 1.61803