package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Library
Module
Module type
Parameter
Class
Class type
val split_at_function' : Ast.id -> ('a Ast.def list * 'b) list -> ('a Ast.def list * 'c) list -> (('a Ast.def list * 'c) list * ('a Ast.def * 'd) * ('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 last_env : ('a * Type_check.Env.t) list -> Type_check.Env.t