Specification

Difficulty: easy — 0 definitions, 1 abbreviations, 0 lemmas, 0 theorems, 0 examples.

abbreviation

legend

NoteSpecification

specifications

abbrev Specification (I : InterfaceOld) : Type

Show details

| Specification I = (I.Value → Prop)

Complexity: 7 (size of the value term)

Outer dependencies: InterfaceOld

Inner dependencies: InterfaceOld.Value

Used by: Layer, Specification.binaryCone, Specification.cartesianMonoidalCategory, Specification.category, Specification.closed, Specification.galoisConnection, Specification.monoidalClosed, Specification.terminalCone

Dependency diagram

Drag to pan, Ctrl+scroll (or Cmd+scroll, or pinch on a touch screen) to zoom, click a node to jump to it.

abbreviationdeclared elsewheredependencyproof dependency

legend