CreateAnd.ToInterface

Parent of all generated CreateAnd classes within interfaces. These need to pass both the template and interface ID.

CreateAnd.ToInterface - stable

Upstream docs: Open

Signature

public abstract static class CreateAnd.ToInterface extends CreateAnd

Members

Docs	Member	Introduced	Deprecated	Removed
Open	ToInterface(ContractCompanion<?, ?, ?>, Template)	3.4.8	-	-
Open	makeExerciseCmd(Choice<?, ? super A, R>, A)	3.4.8	-	-