subprojects/store-partial/src/main/java/tools/refinery/store/partial/representation/AnyPartialSymbol.java


1
2
3
4
5
6
7
8
9
10
11

package tools.refinery.store.partial.representation;

import tools.refinery.store.representation.AnyAbstractDomain;

public sealed interface AnyPartialSymbol permits AnyPartialFunction, PartialSymbol {
	String name();

	int arity();

	AnyAbstractDomain abstractDomain();
}