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