hol-1.3: Higher order logic

LicenseMIT
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

HOL.TypeOp

Description

 

Documentation

name :: TypeOp -> Name Source #

prov :: TypeOp -> TypeOpProv Source #

mkUndef :: Name -> TypeOp Source #

isUndef :: TypeOp -> Bool Source #

class HasOps a where Source #

Minimal complete definition

ops

Methods

ops :: a -> Set TypeOp Source #

Instances

boolName :: Name Source #

bool :: TypeOp Source #

funName :: Name Source #

fun :: TypeOp Source #

indName :: Name Source #

ind :: TypeOp Source #

primitives :: Set TypeOp Source #

productName :: Name Source #

sumName :: Name Source #

naturalName :: Name Source #