= 768" x-on:close-sidebar="sidebar=window.innerWidth >= 768 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A module for variables that occur in terms.
type t = Dolmen.Std.Expr.term_var
The type of variables the can occur in terms