Gen_kir (p.sarek.20210823.doc.sarek.internal_kernels.Internal_kernels.Gen

Sourceval remove_int_var : Sarek_types.kexpr -> unit

val parse_int2 : 
  Sarek_types.kexpr ->
  Sarek_types.ktyp ->
  Camlp4.PreCast.Syntax.Ast.expr

Source

val 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

Source

val 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

Source

val 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