Mardukml_lib.Mardukml
Copyright 2026, Kirill K. Smirnov
SPDX-License-Identifier: LGPL-3.0-or-later
val compile_to_lambda_cbv : Ast.mlterm -> Lambda.lterm
val parse : string -> Ast.mlterm
val interp : string -> Lambda.lterm * Ast.mltype