Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package symkat
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val expr : ?msg:string -> string -> Kat.exprval hyps : ?msg:string -> string -> Hypotheses.t