module Algorithm: sig .. end
sig
end
val map : Mapper.mapper -> Syntax.statement list -> Syntax.statement list
Mapper.mapper -> Syntax.statement list -> Syntax.statement list