Definition.ToTerm(SessionProfile) Method

Converts Definition to Term with a given session options.

Definition

Namespace: SMath.Manager
Assembly: SMath.Manager (in SMath.Manager.dll) Version: 1.73.9126.0

C#
public Term ToTerm(
	SessionProfile sessionProfile
)

VB
Public Function ToTerm ( 
	sessionProfile As SessionProfile
) As Term

C++

public:
Term^ ToTerm(
	SessionProfile^ sessionProfile
)

F#
member ToTerm : 
        sessionProfile : SessionProfile -> Term 

Term
A Definition converted to Term with a given session options.