grwalk.lib
constant
OrderStringalp_NP
type
type
list
→
(
string
→
returntype
)
constant
awalk1
type
type
list
→
(
ideal
→
returntype
)
constant
gwalk
type
type
list
→
(
ideal
→
returntype
)
constant
awalk1_tmp
type
type
list
→
(
int
→
(
ideal
→
returntype
)
)
constant
fwalk
type
type
list
→
(
ideal
→
returntype
)
constant
awalk2
type
type
list
→
(
ideal
→
returntype
)
constant
pwalk
type
type
list
→
(
int
→
(
int
→
(
ideal
→
returntype
)
)
)
constant
twalk
type
type
list
→
(
ideal
→
returntype
)