What type should I use for custom blocks (created in C code) in OCaml?
Is it safe to declare abstract type and then use it for custom blocks?
Is it safe to declare extensible variant type with some constructors and then use it as a type for custom block? I.e.
type t = …
type t += Str of string
extern cstub : unit -> t = “cstub”
(* and then I create custom block in cstub *)