package Ġcom . github . kotlin z . kotlin z . data . mon oid Ċ Ċ import Ġcom . github . kotlin z . kotlin z . law . Mon oid Law Ċ import Ġorg . jetbrains . spe k . api . Spe k Ċ import Ġorg . jetbrains . spe k . api . dsl . describe Ċ import Ġorg . jetbrains . spe k . api . dsl . it Ċ Ċ object ĠString Mon oid Test Ġ: ĠSpe k ({ ĊĠĠĠ Ġdescribe (" String ĠMon oid ") Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġlaw Ġ= ĠMon oid Law ( String Mon oid :: class . java ) ĊĠĠĠĠĠĠĠ Ġit (" should Ġsatisfy Ġlaws ") Ġ{ Ġlaw . assert Satisf ying Mon oid Law (" Mon oid Ġ 1 ". toString Mon oid (), Ġ" Mon oid Ġ 2 ". toString Mon oid (), Ġ" Mon oid Ġ 3 ". toString Mon oid ()) Ġ} ĊĠĠĠ Ġ} Ċ }) Ċ