Reconstruction (mlsem-system.Mlsem_system.Reconstruction)

val initial : 
  ?direct_narrowing:bool ->
  Refinement.Refinements.t ->
  Ast.t ->
  Annot.IAnnot.t

val refine : Mlsem_common.Env.t -> Annot.IAnnot.t -> Ast.t -> Annot.Annot.t

val infer : 
  ?direct_narrowing:bool ->
  Mlsem_common.Env.t ->
  Refinement.Refinements.t ->
  Ast.t ->
  Annot.Annot.t