ml
9 lines
102 B
Go
9 lines
102 B
Go
package interpreters
|
|
|
|
type refinement struct {
|
|
entry
|
|
|
|
desc *Description
|
|
predicate Predicate
|
|
}
|