version:
  hs_bindgen: 0.1.0
  binding_specification: '1.0'
hsmodule: Example
ctypes:
- headers: program-analysis/selection_fail.h
  cname: struct OkBefore
  hsname: OkBefore
- headers: program-analysis/selection_fail.h
  cname: struct OkAfter
  hsname: OkAfter
hstypes:
- hsname: OkAfter
  representation:
    record:
      constructor: OkAfter
      fields:
      - okAfter_x
  instances:
  - Eq
  - HasCField
  - HasField
  - ReadRaw
  - Show
  - StaticSize
  - Storable
  - WriteRaw
- hsname: OkBefore
  representation:
    record:
      constructor: OkBefore
      fields:
      - okBefore_x
  instances:
  - Eq
  - HasCField
  - HasField
  - ReadRaw
  - Show
  - StaticSize
  - Storable
  - WriteRaw