To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val mk_sort : context -> Symbol.symbol -> Sort.sort -> Sort.sortval get_nil_decl : Sort.sort -> FuncDecl.func_declval get_is_nil_decl : Sort.sort -> FuncDecl.func_declval get_cons_decl : Sort.sort -> FuncDecl.func_declval get_is_cons_decl : Sort.sort -> FuncDecl.func_declval get_head_decl : Sort.sort -> FuncDecl.func_declval get_tail_decl : Sort.sort -> FuncDecl.func_decl