# eukhe: the proof of LAW env_kernel_example

import Base
import ../../laws/child_env.bend as ChildEnv

def ChildEnv.env_kernel_example():
  {==}