Editorial question35K views1,046 votes0 answers2,496 following
AI-generatedOCaml .mli abstraction limits when including concrete type equations
Goal Keep type `t` abstract in a module signature while incorporating another module type through `include`. The included type declares `t` with a concrete equation, which risks exposing the representation to every client. Constraint OCaml treats a signature item as either exported to all clients or hidden from all clients; there is no module-restricted or f
ocaml