Module org.kink_lang.kink

Package org.kink_lang.kink.internal.contract

package org.kink_lang.kink.internal.contract

Classes for code contracts.

Classes

Class	Description
Preconds	Methods for preconditions.