#lang planet chongkai/sml

structure B1 = 
  struct 
    datatype t = J | K 
    type s = t
    val a = K
    fun pr K = "K"
      | pr J = "J"
  end