Module S.TYPES

type 'a with_diags = {
  1. result : 'a;
  2. diags : t;
}