Header menu logo fantomas

ExprTraitCallNode Type

Example: `(^T : (member Get : unit -> int) t)` — a statically-resolved type parameter (SRTP) trait call. Invokes `MemberDefn` on value `Expr` constrained to type `Type` at compile time.

Constructors

Constructor Description

ExprTraitCallNode(t, md, expr, range)

Full Usage: ExprTraitCallNode(t, md, expr, range)

Parameters:
Returns: ExprTraitCallNode
t : Type
md : MemberDefn
expr : Expr
range : range
Returns: ExprTraitCallNode

Instance members

Instance member Description

this.Expr

Full Usage: this.Expr

Returns: Expr
Returns: Expr

this.MemberDefn

Full Usage: this.MemberDefn

Returns: MemberDefn
Returns: MemberDefn

this.Type

Full Usage: this.Type

Returns: Type
Returns: Type

Type something to start searching.