Gobba.Typep
val typeofp : Types.evt list -> Types.evt
val myfailwith : Types.evt list -> Types.evt
val show : Types.evt list -> Types.evt
val table : (string * Types.primitive) list