Drup questions

Drup answers

• What are the rules for equality of types and modules in OCaml
• OCaml's GADT and many type variables
• Printing abstract syntax tree using ppx_deriving
• Map a subset of a polymorphic variant
• MirageOS - Unable to build unikernel for XEN
• Are streams in ocaml really used?
• How to decide whether to parameterize on the type-level or the module-level when designing modules?
• OCaml : why comparison operator are type agnostic, whereas arithmetic ones are not?
• how to search for OCaml functions by name and type
• How to merge OCaml module types (signatures) defining the same type?