package sail

  1. Overview
  2. Docs
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
val recheck : 'a Ast.defs -> Type_check.tannot Ast.defs
OCaml

Innovation. Community. Security.