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