sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Optimize
val split_at_function' : Ast.id -> ('a Ast.def list * 'b) list -> ('a Ast.def list * 'b) list -> (('a Ast.def list * 'b) list * ('a Ast.def * 'b) * ('a Ast.def list * 'b) list) option
val split_at_function : Ast.id -> ('a Ast.def list * 'b) list -> (('a Ast.def list * 'b) list * ('a Ast.def * 'b) * ('a Ast.def list * 'b) list) option