Up
module
Reachability
:
sig
#
val
trim :
UnparameterizedSyntax
.
grammar
->
UnparameterizedSyntax
.
grammar
end