Module Dcalc.From_scopelangSource

Scope language to default calculus translator

Sourceval translate_program : 'm Scopelang.Ast.program -> 'm Ast.program