"mTimer.ml" 27 1044 1048 "mTimer.ml" 27 1044 1054
type(
  unit -> t
)
"mTimer.ml" 27 1044 1055 "mTimer.ml" 27 1044 1057
type(
  unit
)
"mTimer.ml" 27 1044 1075 "mTimer.ml" 27 1044 1078
type(
  float
)
"mTimer.ml" 28 1080 1096 "mTimer.ml" 28 1080 1099
type(
  float
)
"mTimer.ml" 29 1101 1115 "mTimer.ml" 29 1101 1120
type(
  bool
)
"mTimer.ml" 27 1044 1060 "mTimer.ml" 30 1122 1125
type(
  t
)
"mTimer.ml" 32 1127 1131 "mTimer.ml" 32 1127 1136
type(
  t -> unit
)
"mTimer.ml" 32 1127 1137 "mTimer.ml" 32 1127 1142
type(
  t
)
"mTimer.ml" 33 1146 1148 "mTimer.ml" 33 1146 1153
type(
  t
)
"mTimer.ml" 33 1146 1168 "mTimer.ml" 33 1146 1171
type(
  float
)
"mTimer.ml" 33 1146 1148 "mTimer.ml" 33 1146 1171
type(
  unit
)
"mTimer.ml" 34 1173 1175 "mTimer.ml" 34 1173 1180
type(
  t
)
"mTimer.ml" 34 1173 1194 "mTimer.ml" 34 1173 1197
type(
  float
)
"mTimer.ml" 34 1173 1175 "mTimer.ml" 34 1173 1197
type(
  unit
)
"mTimer.ml" 35 1199 1201 "mTimer.ml" 35 1199 1206
type(
  t
)
"mTimer.ml" 35 1199 1218 "mTimer.ml" 35 1199 1223
type(
  bool
)
"mTimer.ml" 35 1199 1201 "mTimer.ml" 35 1199 1223
type(
  unit
)
"mTimer.ml" 34 1173 1175 "mTimer.ml" 35 1199 1223
type(
  unit
)
"mTimer.ml" 33 1146 1148 "mTimer.ml" 35 1199 1223
type(
  unit
)
"mTimer.ml" 37 1225 1229 "mTimer.ml" 37 1225 1234
type(
  t -> '_a
)
"mTimer.ml" 37 1225 1235 "mTimer.ml" 37 1225 1240
type(
  t
)
"mTimer.ml" 38 1244 1248 "mTimer.ml" 38 1244 1253
type(
  t
)