Main (mlsem-app.Mlsem

module MVariable = Mlsem_lang.MVariable

module NameMap : Stdlib.Map.S with type key = string

type message =
  Mlsem_system.Analyzer.severity
  * Mlsem_common.Position.t
  * string
  * string option

type inferred = {

var : Mlsem_common.Variable.t;
ty : Mlsem_types.TyScheme.t;
sigs : Signature.t;
declared : bool;

}

type result =

| TSuccess of inferred list * float
| TDone
| TFailure of Mlsem_common.Variable.t option * Mlsem_common.Position.t * string * string option * float

type output = {

res : result;
msg : message list;

}

type envs =
  Mlsem_types.Builder.benv
  * Mlsem_common.Variable.t NameMap.t
  * Signature.t Mlsem_common.VarMap.t
  * Mlsem_common.Env.t
  * Mlsem_types.PEnv.t

val treat : 
  envs ->
  ('a Mlsem_common.Position.located * PAst.element) ->
  envs * output

val treat_sig : 
  envs ->
  ('a Mlsem_common.Position.located * PAst.element) ->
  envs * output

val treat_def : 
  envs ->
  ('a Mlsem_common.Position.located * PAst.element) ->
  envs * output

val treat_all_sigs : 
  envs ->
  ('a Mlsem_common.Position.located * PAst.element) list ->
  envs * output

val initial_envs : envs

val initial_senv : Signature.t Mlsem_common.VarMap.t

val initial_benv : Mlsem_types.Builder.benv

val initial_penv : Mlsem_types.PEnv.t

val display : envs -> Mlsem_types.TyScheme.t -> string

val signature : envs -> Signature.t -> string list

val build_type : envs -> string -> Mlsem_types.Ty.t

val user_type_names : envs -> string list

type parsing_result =

| PSuccess of PAst.program
| PFailure of Mlsem_common.Position.t * string

val parse : [< `File of string | `String of string ] -> parsing_result