base-types.sml

structure BaseTypes = struct
datatype base_type =
         BTInt of unit
         | BTBool of unit
         | BTByte of unit
(* | String *)

fun eq_base_type (t : base_type, t') = t = t'
        
fun str_bt bt =
  case bt of
      BTInt () => "int"
    | BTBool () => "bool"
    | BTByte () => "byte"
                (* | String => "string" *)

end