Types::OpenConjectureType = GraphQL::ObjectType.define do
  name 'OpenConjecture'
  description 'An open (unproved) conjecture'

  implements Types::LocIdBaseType, inherit: true