Infer (XML.XML_unittests.Infer)

SPDX-License-Identifier: LGPL-3.0-or-later

val (let*) : 
  ('a, 'b) Stdlib.result ->
  ('a -> ('c, 'b) Stdlib.result) ->
  ('c, 'b) Stdlib.result

val infer_exp_str : 
  ?rst:bool ->
  ?env:(Common.Ast.ident * Common.Ast.TypeExpr.t) list ->
  string ->
  unit

val infer_pat_str : 
  ?rst:bool ->
  ?env:(Common.Ast.ident * Common.Ast.TypeExpr.t) list ->
  string ->
  unit

val infer_prog_str : 
  ?env:(Common.Ast.ident * Common.Ast.TypeExpr.t) list ->
  string ->
  unit

val show_etyp : 
  (Common.Ast.ident * Common.Ast.TypeExpr.t) list ->
  Common.Ast.Expression.t ->
  unit

val type_bool : Common.Ast.TypeExpr.t

val type_unit : Common.Ast.TypeExpr.t

val type_char : Common.Ast.TypeExpr.t

val type_int : Common.Ast.TypeExpr.t

val type_string : Common.Ast.TypeExpr.t

val env : (Common.Ast.ident * Common.Ast.TypeExpr.t) list