File ‹zippy_action_app_num.ML›

(*  Title:      Zippy/zippy_action_app_num.ML
    Author:     Kevin Kappelmann

Action application numbers.
*)
signature ZIPPY_ACTION_APP_NUM =
sig
  type action_app_num = int
  val init : action_app_num
  val inc : action_app_num -> action_app_num
  val pretty : action_app_num SpecCheck_Show.show
end

structure Zippy_Action_App_Num : ZIPPY_ACTION_APP_NUM =
struct
type action_app_num = int

val init = 0
fun inc x = x + 1

val pretty = SpecCheck_Show_Base.int
end