package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Library
Module
Module type
Parameter
Class
Class type
val typ_of_t : Type_check.tannot -> Ast.typ
val add_attribute : Ast.l -> string -> string -> Type_check.tannot -> Type_check.tannot