module BuildSast: sig
.. end
Module to take an AST and build the sAST out of it.
val ast_to_sast_klass : GlobalData.class_data -> Ast.class_def -> Sast.class_def
Given a class_data object and an Ast.class_def, return a Sast.class_def
object. May fail when there are issues in the statements / expressions.
Returns The transformed class.
val ast_to_sast : GlobalData.class_data -> Sast.class_def list
Returns A sast program
val update_refinements : GlobalData.class_data -> Sast.class_def list -> Sast.class_def list