Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

  • Type
  • S<M.PredicateType, "type" | "name" | "asserts" | "targetType">
    • PredicateType

Index

Properties

asserts

asserts: boolean

True if the type is of the form asserts val is string, false if the type is of the form val is string

name

name: string

The identifier name which is tested by the predicate.

Optional targetType

targetType: SomeType

The type that the identifier is tested to be. May be undefined if the type is of the form asserts val. Will be defined if the type is of the form asserts val is string or val is string.

Readonly type

type: "predicate" = "predicate"

The type name identifier.

Generated using TypeDoc