(module test_mono_ctor_listmod
  (data List (vars a)
    (doc "Minimal polymorphic list for the mono-pass cross-module ctor-pattern bug fixture.")
    (ctor Nil)
    (ctor Cons a (con List a))))