FrameIT
|
Public Member Functions | |
OMA (MMTTerm applicant, List< MMTTerm > arguments) | |
Public Attributes | |
MMTTerm | applicant |
List< MMTTerm > | arguments |
string | kind = "OMA" |
MMTTerm JSONManager.OMA.applicant |
List<MMTTerm> JSONManager.OMA.arguments |
string JSONManager.OMA.kind = "OMA" |