VisitorsRuntimeBootstrap.ml 1.16 KB
Newer Older
1 2 3 4
type 'a list =
  | []
  | (::) of 'a * 'a list

5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
and 'a option =
  | None
  | Some of 'a

and 'a ref =
  { mutable contents: 'a }

and ('a, 'b) result =
  | Ok of 'a
  | Error of 'b

[@@deriving
visitors { variety = "iter"; public = []; polymorphic = true; data = false; nude = true },
visitors { variety = "map"; public = []; polymorphic = true; data = false; nude = true },
visitors { variety = "endo"; public = []; polymorphic = true; data = false; nude = true },
visitors { variety = "reduce"; public = []; polymorphic = true; data = false; nude = true; ancestors = ["VisitorsRuntime.monoid"] },
visitors { variety = "mapreduce"; public = []; polymorphic = true; data = false; nude = true; ancestors = ["VisitorsRuntime.monoid"] },
visitors { variety = "iter2"; public = []; polymorphic = true; data = false; nude = true },
visitors { variety = "map2"; public = []; polymorphic = true; data = false; nude = true },
visitors { variety = "reduce2"; public = []; polymorphic = true; data = false; nude = true; ancestors = ["VisitorsRuntime.monoid"] },
visitors { variety = "mapreduce2"; public = []; polymorphic = true; data = false; nude = true; ancestors = ["VisitorsRuntime.monoid"] }
]