// ĠCOMPI LER _ ARGUMENT S : Ġ- XX Language :+ Allow Contracts For Custom Functions Ġ- XX Language :+ Use Returns Effect Ċ @ file : Suppress (" IN VISIBLE _ MEMBER ") Ċ package Ġtest Ċ Ċ import Ġkotlin . internal . contracts .* Ċ Ċ fun Ġmy Require ( x : ĠBoolean ) Ġ{ ĊĠĠĠ Ġcontract Ġ{ ĊĠĠĠĠĠĠĠ Ġreturns () Ġimplies Ġx ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġtest Contract From Source ( x : ĠAny ?, Ġy : ĠAny ?) Ġ{ ĊĠĠĠ Ġmy Require ( x Ġis ĠString ) ĊĠĠĠ Ġmy Require ( y Ġis ĠString ) ĊĊĠĠĠ Ġ< caret > x . length ĊĊĠĠĠ Ġmy Require ( x Ġis ĠInt ) Ċ }