@ file : Js Module ("@ material - ui / core ") Ċ @ file : Js Non Module Ċ Ċ package Ġeu . fb k . st . crypto ac . ui . components . material ui . core Ċ Ċ import Ġorg . w 3 c . dom . events . Event Ċ import Ġreact .* Ċ Ċ @ Js Name (" Checkbox ") Ċ external Ġval Ġcheckbox : ĠComponent Class < Checkbox Props > Ċ Ċ external Ġinterface ĠCheckbox Props Ġ: ĠProps Ġ{ ĊĠĠĠ Ġvar Ġchecked : ĠBoolean ĊĠĠĠ Ġvar Ġvalue : ĠString ĊĠĠĠ Ġvar ĠonChange : Ġ( Event ) Ġ-> ĠUnit Ċ } Ċ