Module Transformer

module Transformer: sig .. end

related with transformation

val synfunToDefFun : Ast.cmd list -> Ast.cmd -> Ast.cmd list

change first SynthFun with given DefineFun

parsetree : Ast which have one synth-fun

deffun : DefineFun which have body of first synth-fun