Module Comp.Copattern_object

type t =
  1. | Raw_observation of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. observation : Beluga_syntax.Syncom.Qualified_identifier.t;
    }
  2. | Raw_pattern of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. pattern : Pattern_object.t;
    }