(module mq1_xmod_constraint_class
  (import mq1_xmod_constraint_class_dep)
  (fn useShow
    (doc "Positive mq.1 fixture: a polymorphic fn that takes a single value and a Show constraint, ignores the value, and returns Unit. Exercises the qualified `Constraint.class` shape end-to-end (loader + validator + check_workspace).")
    (type (forall (vars a) (constraints (constraint mq1_xmod_constraint_class_dep.Show a)) (fn-type (params (borrow a)) (ret (own (con Unit))))))
    (params _x)
    (body (lit-unit))))
