not :: Bool -> Bool

; Bool declaration
%Bool = type { i32 }
@false = internal global %Bool { i32 0 }
@true = internal global %Bool { i32 1 }
; end of Bool declaration
%Cl1 = type {  }


define %Bool @apply_Cl1(%Cl1* %env, %Bool* %x) {
  %tmp0 = load %Bool* %x
  %local0 = extractvalue %Bool %tmp0, 0
  %tmp1 = alloca %Bool; case expression result
  switch i32 %local0, label %lbl0 [ i32 1, label %lbl2 i32 0, label %lbl3 ]
    lbl2:
    %tmp2 = load %Bool* @false
    store %Bool %tmp2, %Bool* %tmp1; set result
    br label %lbl1


    lbl3:
    %tmp3 = load %Bool* @true
    store %Bool %tmp3, %Bool* %tmp1; set result
    br label %lbl1


    lbl0:
    br label %lbl1
    lbl1:
  %v0 = load %Bool* %tmp1
  ret %Bool %v0
}
; Code:
@buf = global [2 x i8] c"H\00"
declare i32 @puts(i8*)
define i32 @main() {
  %tmp4 = alloca %Cl1
  %v1 = load %Cl1* %tmp4
  %tmp5 = load %Bool* @false
  %arg0 = alloca %Cl1
  %arg1 = alloca %Bool
  store %Cl1 %v1, %Cl1* %arg0
  store %Bool %tmp5, %Bool* %arg1
  %v2 = call %Bool @apply_Cl1(%Cl1* %arg0, %Bool* %arg1)

  ; result output routines
  %res_ptr = alloca %Bool
  store %Bool %v2, %Bool* %res_ptr
  %inner = getelementptr %Bool* %res_ptr, i32 0, i32 0
  %res = load i32* %inner

  %tres = trunc i32 %res to i8
  %chres = add i8 48, %tres
  %str = getelementptr [2 x i8]* @buf, i32 0, i32 0
  store i8 %chres, i8* %str
  call i32 @puts(i8* getelementptr inbounds ([2 x i8]* @buf, i32 0, i32 0))
  ret i32 0
}