{-# OPTIONS_GHC -XEmptyDataDecls -XScopedTypeVariables #-}
module NET.System.Predicate.Type where

import NET

data Predicate_ a
instance Type a => Type (Predicate_ a) where
  tyName v = tyNameCtor "System.Predicate" v

type Predicate a ty = GObject (Predicate_ a) ty