3 ms·
Hence, Objective Caml! This can be modeled in OCaml as an object type, type foo_bar = < _foo : int; _bar : string > For a family of types matching any objec
by mjarrett 2y ago
Hence, Objective Caml! This can be modeled in OCaml as an object type,
type foo_bar = < _foo : int; _bar : string >
For a family of types matching any object with those methods, I think you can write something like
type 'a has_foo_bar = < _foo : int; _bar : string; .. > as 'a