Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
For each function f
in Lambda Soup whose result type is an option, provides a function R.f
such that R.f ...
= f ... |> require
, that is, a version of f
that can raise Failure
instead of returning an option. See the corresponding functions in the main interface for documentation.
val leaf_text : _ node -> string