Module Mlang.Partial_evaluation

val partial_evaluation : Oir.program -> Oir.program