Previous
Up
Next
Module
Wp.Lang.Fun
module
Fun
:
Logic.Function
with type t = lfun