rego-proofs/examples/07-rule-with-dynamic-type.rego


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

package examples.rule_with_dynamic_type

import future.keywords.if

multitype := 1 if {
    input.flag == 1
}

multitype := "2" if {
    input.flag == 2
}

multitype := {1, 2, 3} if {
    input.flag == 3
}