package elpi

  1. Overview
  2. Docs
package elpi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module BuiltInPredicate.NotationSource

Sourceval (?:) : 'a -> unit * 'a
Sourceval (!:) : 'a -> unit * 'a option
Sourceval (+?) : 'a -> 'b -> 'a * 'b
Sourceval (+!) : 'a -> 'b -> 'a * 'b option