Dcalc.From_scopelang
Scope language to default calculus translator
val translate_program : 'm Scopelang.Ast.program -> 'm Ast.program