50 lines
898 B
C
50 lines
898 B
C
////////////////////////////////
|
|
// Functions: Arity Node
|
|
|
|
// construction
|
|
|
|
MR4TH_SYMBOL DS_ArityNode*
|
|
ds_aritynode_empty(Arena *arena){
|
|
return(0);
|
|
}
|
|
|
|
MR4TH_SYMBOL DS_ArityNode*
|
|
ds_aritynode_singleton(Arena *arena){
|
|
return(0);
|
|
}
|
|
|
|
MR4TH_SYMBOL DS_ArityNode*
|
|
ds_aritynode_arrow(Arena *arena, DS_ArityNode *domain, DS_ArityNode *codomain){
|
|
return(0);
|
|
}
|
|
|
|
MR4TH_SYMBOL DS_ArityNode*
|
|
ds_aritynode_paste(Arena *arena, DS_ArityNode *a, DS_ArityNode *b){
|
|
return(0);
|
|
}
|
|
|
|
MR4TH_SYMBOL DS_ArityNode*
|
|
ds_aritynode_sum(Arena *arena, ...){
|
|
va_list args;
|
|
va_start(args, arena);
|
|
va_end(args);
|
|
return(0);
|
|
}
|
|
|
|
MR4TH_SYMBOL DS_ArityNode*
|
|
ds_aritynode_ktuple(Arena *arena, U32 coefficient){
|
|
return(0);
|
|
}
|
|
|
|
// operations
|
|
|
|
MR4TH_SYMBOL DS_ArityNode*
|
|
ds_aritynode_copy(Arena *arena, DS_ArityNode *arity){
|
|
return(0);
|
|
}
|
|
|
|
MR4TH_SYMBOL B32
|
|
ds_aritynode_equal(DS_ArityNode *a, DS_ArityNode *b){
|
|
return(0);
|
|
}
|