package sarek

  1. Overview
  2. Docs

Module Internal_kernels.Gen_kirSource

Sourceval remove_int_var : Sarek_types.kexpr -> unit
Sourceval parse_int2 : Sarek_types.kexpr -> Sarek_types.ktyp -> Camlp4.PreCast.Syntax.Ast.expr
Sourceval parse_float2 : Sarek_types.kexpr -> Sarek_types.ktyp -> Camlp4.PreCast.Syntax.Ast.expr
Sourceval parse_special : Sarek_types.kexpr -> Camlp4.PreCast.Syntax.Ast.expr
Sourceval parse_app : Sarek_types.kexpr -> Camlp4.PreCast.Syntax.Ast.expr
Sourceval expr_of_app : Sarek_types.ktyp -> Camlp4.PreCast.Syntax.Ast.loc -> Sarek_types.var -> Sarek_types.kexpr -> Camlp4.PreCast.Syntax.Ast.expr * Camlp4.PreCast.Syntax.Ast.expr
Sourceval parse_case2 : Sarek_types.case list -> Camlp4.PreCast.Syntax.Ast.loc -> Camlp4.PreCast.Syntax.Ast.expr
Sourceval parse_body2 : Sarek_types.kexpr -> bool -> Camlp4.PreCast.Syntax.Ast.expr
OCaml

Innovation. Community. Security.